Relation Before=

Instance-Of: Binary-Relation, Relation, Set
Arity: 2

Equivalence Axioms for Before=:

(<=> (Before= ?Time-Range-1 ?Time-Range-2)
     (Or (Before ?Time-Range-1 ?Time-Range-2)
         (Meets ?Time-Range-1 ?Time-Range-2)))