OntoME

Domain:

E2 Temporal Entity

Range:

E77 Persistent Item

Subproperty of:

• Thing Thing → topObjectProperty → Thing Thing

Superproperty of:

• → objectRole →
• histC1 Persistent item condition or characteristic → histP4 pertainsTo → E77 Persistent Item

Quantification:

No quantifiers yet.

Scope note:

This property expresses the generic notion of participation of a persistent item in a temporal entity, the fact that the persistent item takes part in the temporal entity or is affected by it. This property has no direct instances but is useful to subsume and gather together all subproperties and descendants.

Examples:

No example yet.

In First Order Logic:

• histP1(x,y) ⊃ E2(x)
• histP1(x,y) ⊃ E77(y)
• histP1(x,y) ⊃ topObjectProperty(x,y)