OntoME

Domain:

E7 Activity

Range:

E70 Thing

Subproperty of:

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

Superproperty of:

• E7 Activity → P33 used specific technique (was used by) → E29 Design or Procedure
• E79 Part Addition → P111 added (was added by) → E18 Physical Thing
• E15 Identifier Assignment → P142 used constituent (was used in) → E90 Symbolic Object
• D7 Digital Machine Event → L10 had input (was input of) → D1 Digital Object
• D7 Digital Machine Event → L23 used software or firmware (was software or firmware used by) → D14 Software
• F28 Expression Creation → R19 created a realisation of (was realised through) → F1 Work
• F32 Carrier Production Event → R27 used as source material (was used by) → F24 Publication Expression
• F33 Reproduction Event → R29 reproduced (was reproduced by) → E84 Information Carrier
• F52 Name Use Activity → R64 used name (was name used by) → E41 Appellation
• F31 Performance → R66 included performed version of (had a performed version through) → E89 Propositional Object

Quantification:

0,n:0,n

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)