Relation Before

• Defined in ontology: Simple-time
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/foundation-ontologies/simple-time.lisp

Instance-Of: Binary-Relation, Relation, Set

Inverse: After

Arity: 2

Documentation: a time range ?time-range-1 preceeds a time ranage ?time-range-2.

Equivalence Axioms for Before:

(<=> (Before ?Time-Range-1 ?Time-Range-2)
     (< (End-Time-Of ?Time-Range-1) (Start-Time-Of ?Time-Range-2)))

Equivalence Axioms mentioning Before:

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

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