Relation Start=

• 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

Arity: 2

Equivalence Axioms for Start=:

(<=> (Start= ?Time-Range-1 ?Time-Range-2)
     (Or (Starts ?Time-Range-1 ?Time-Range-2)
         (Equals ?Time-Range-1 ?Time-Range-2)))