happened on device (was device for) – L12

L12 happened on device (was device for)

Quantification:

No quantifiers yet.

Scope note:

This property associates an instance of D7 Digital Machine Event with an object, the D8 Digital Device, which happened with, e.g a capturing event that happened on/with a digital camera, etc.

Examples:

No example yet.

In First Order Logic:

  • L12(x,y) ⇒ D7(x)
  • L12(x,y) ⇒ D8(y)
  • L12(x,y) ⇒ P12(x,y)

Scope notes

Show Scope note Language Namespace View details Comments
This property associates an instance of D7 Digital Machine Event with an object, the D8 Digital Device, which happened with, e.g a capturing event that happened on/with a digital camera, etc. en CRMdig version 4.0 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: L12

Official URI: http://www.ics.forth.gr/isl/CRMdig/L12_happened_on_device
OntoME URI: https://ontome.net/ontology/p1256

Domain and range

crmdig:D7 Digital Machine Event → L12 happened on device (was device for) → crmdig:D8 Digital Device

Labels

Label Language Last updated View details Comments
happened on device (was device for) * en 2022-12-08 0

: Standard label for this language

Namespace

Namespace Last updated
CRMdig version 4.0 2022-12-08
CRMdig v 4.0 ongoing 2022-11-03
CRMdig version 3.2.1 2021-05-07

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E5 Event (0,n) P12 occurred in the presence of (was present at) (1,n) crm:E77 Persistent Item CIDOC CRM version 7.1.2 CRMdig version 4.0 0

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace
crmdig:D12 Data Transfer Event L15 has sender (was sender for) crmdig:D8 Digital Device 1 CRMdig version 4.0
crmdig:D12 Data Transfer Event L16 has receiver (was sender for) crmdig:D8 Digital Device 1 CRMdig version 4.0

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments