OntoME

Domain:

E2 Temporal Entity

Range:

E77 Persistent Item

Subproperty of:

• Thing Thing → topObjectProperty → Thing Thing

Superproperty of:

• symogih symogih.org Entity → objectRole object role → symogih symogih.org Entity
• histC1 Persistent item condition or characteristic → histP4 pertains to → E77 Persistent Item

Quantification:

0,n:0,n

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)