Relation Starts

Instance-Of: Binary-Relation, Relation, Set
Arity: 2
Documentation:
a time range ?time-range-1 and a time range ?time-range-2 starts at the

same time and a duration of ?time-range-1 is shorter than that of

?time-range-2.


Implication Axioms for Starts:

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

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


Equivalence Axioms for Starts:

(<=> (Starts ?Time-Range-1 ?Time-Range-2)
     (And (Equals (Start-Time-Of ?Time-Range-1)
                  (Start-Time-Of ?Time-Range-2))
          (< (End-Time-Of ?Time-Range-1) (End-Time-Of ?Time-Range-2))))


Equivalence Axioms mentioning Starts:

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

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