Relation ANTEDATES

Two entities whatsoever existing in disjoint time-spans. This is useful for temporal precedence involving non-temporalized entities.
Arity: 2
Domain: Entity
Range: Entity
Subrelation-Of: Temporal-relation
Axioms:
(=> (Antedates ?A ?B)
    (Exists (?Z ?W)
            (And (Time-Span ?Z)
                 (Time-Span ?W)
                 (Temporally-Contains ?Z ?A)
                 (Temporally-Contains ?W ?B)
                 (Precedes ?Z ?W))))