Relation CONSTITUTIVE-PHASE

Arity: 2
Domain: Temporalized-entity
Range: Temporalized-entity
Axioms:
(= (Inverse Constitutive-Phase-Of) Constitutive-Phase)

(<=> (Constitutive-Phase ?A ?B)
     (And (Temporalized-Entity ?A) (Temporalized-Entity ?B)))