Relation DEPENDENTLY-POSTDATES

Arity: 2

Domain: Entity

Range: Entity

Subrelation-Of: Postdates, Strictly-depends-on

Axioms:

(<=> (Dependently-Postdates ?A ?B)
     (And (Not (Identity ?A ?B))
          (Strictly-Depends-On ?A ?B)
          (Postdates ?A ?B)
          (Entity ?A)
          (Entity ?B)))

• Defined in theory: Unrestricted-time
• Source code: Unrestricted-Time.lisp