Domain:

crmdig:D7 Digital Machine Event

Range:

crmdig:D8 Digital Device

Quantification:

No quantifiers yet.

Subproperty of:

• crm:E5 Event → crm:P12 occurred in the presence of (was present at) → crm:E77 Persistent Item

Superproperty of:

• crmdig:D12 Data Transfer Event → crmdig:L15 has sender (was sender for) → crmdig:D8 Digital Device
• crmdig:D12 Data Transfer Event → crmdig:L16 has receiver (was sender for) → crmdig:D8 Digital Device

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)