Relation TEMPORAL-PART

Arity: 2
Domain: Temporalized-entity
Range: Temporalized-entity
Axioms:
(= (Inverse Temporal-Part-Of) Temporal-Part)

(<=> (Temporal-Part ?A ?B)
     (And (Temporalized-Entity ?A) (Temporalized-Entity ?B)))