OntoME

Domain:

E12 Production

Range:

E24 Physical Man-Made Thing

Subproperty of:

• E11 Modification → P31 has modified → E24 Physical Man-Made Thing
• E63 Beginning of Existence → P92 brought into existence → E77 Persistent Item
• S17 Physical Genesis → O17 generated (was generated by) → E18 Physical Thing

Superproperty of:

• TyIn49 Construction → TyRo209 a construit (a été construit) → ImCo Immovable Construction
• C12 Shipbuilding → P7 has built → C2 Ship

Quantification:

No quantifiers yet.

Scope note:

This property identifies the E24 Physical Man-Made Thing that came into existence as a result of an E12 Production. The identity of an instance of E24 Physical Man-Made Thing is not defined by its matter, but by its existence as a subject of documentation. An E12 Production can result in the creation of multiple instances of E24 Physical Man-Made Thing.

Examples:

No example yet.

In First Order Logic:

• P108(x,y) ⊃ E12(x)
• P108(x,y) ⊃ E24(y)
• P108(x,y) ⊃ P31(x,y)
• P108(x,y) ⊃ P92(x,y)
• P108(x,y) ⊃ O17(x,y)