Relation TEMPORAL-PART-OF

Arity: 2
Domain: Temporalized-entity
Range: Temporalized-entity
Subrelation-Of: Part-of
Axioms:
(=> (Temporal-Part-Of ?A ?B)
    (=> (And (Part-Of ?A ?B) (Part-Of ?B ?A)) (Identity ?A ?B)))