Relation POSTDATES

Arity: 2

Domain: Entity

Range: Entity

Axioms:

(= (Inverse Antedates) Postdates)

(<=> (Postdates ?A ?B) (And (Entity ?A) (Entity ?B)))

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