Relation FOLLOWING-PHASE-OF

Arity: 2

Domain: *phase, Temporalized-entity

Range: *phase, Temporalized-entity

Subrelation-Of: Follows

Axioms:

(<=> (Following-Phase-Of ?A ?B)
     (And (Exists (?C)
                  (And (Temporal-Part-Of ?A ?C)
                       (Temporal-Part ?C ?B)))
          (Temporalized-Entity ?A)
          (Temporalized-Entity ?B)
          (Follows ?A ?B)
          (*Phase ?A)
          (*Phase ?B)))

• Defined in theory: Procedures
• Source code: Procedures.lisp