OntoME

Domain:

E7 Activity

Range:

E70 Thing

Subproperty of:

• E5 Event → P12 occurred in the presence of → E77 Persistent Item
• E7 Activity → P15 was influenced by → E1 CRM Entity

Superproperty of:

• E7 Activity → P33 used specific technique → E29 Design or Procedure
• E79 Part Addition → P111 added → E18 Physical Thing
• E15 Identifier Assignment → P142 used constituent → E90 Symbolic Object
• D7 Digital Machine Event → L10 had input → D1 Digital Object
• D7 Digital Machine Event → L23 used software or firmware → D14 Software

Quantification:

No quantifiers yet.

Scope note:

This property describes the use of material or immaterial things in a way essential to the performance or the outcome of an E7 Activity. This property typically applies to tools, instruments, moulds, raw materials and items embedded in a product. It implies that the presence of the object in question was a necessary condition for the action. For example, the activity of writing this text required the use of a computer. An immaterial thing can be used if at least one of its carriers is present. For example, the software tools on a computer. Another example is the use of a particular name by a particular group of people over some span to identify a thing, such as a settlement. In this case, the physical carriers of this name are at least the people understanding its use.

Examples:

No example yet.

In First Order Logic:

• P16(x,y) ⊃ E7(x)
• P16(x,y) ⊃ E70(y)
• P16(x,y) ⊃ P12(x,y)
• P16(x,y) ⊃ P15(x,y)