Relation PRECEDING-PHASE-OF

Arity: 2
Domain: *phase, Temporalized-entity
Range: *phase, Temporalized-entity
Subrelation-Of: Precedes
Axioms:
(<=> (Preceding-Phase-Of ?A ?B)
     (And (Exists (?U)
                  (And (Exists (?D ?E ?F ?G)
                               (And (Beginpoint ?B ?G)
                                    (Duration-Value ?G ?F)
                                    (Endpoint ?A ?E)
                                    (Time-Value ?E ?D)
                                    (< ?D ?F)))
                       (Exists (?H)
                               (And (The-Time-Unit ?A ?H)
                                    (Identity ?H ?U)))
                       (Exists (?I)
                               (And (The-Time-Unit ?B ?I)
                                    (Identity ?I ?U)))))
          (Exists (?C)
                  (And (Temporal-Part-Of ?A ?C)
                       (Temporal-Part ?C ?B)))
          (Temporalized-Entity ?A)
          (Temporalized-Entity ?B)
          (Precedes ?A ?B)
          (*Phase ?A)
          (*Phase ?B)))