Relation Finishes

• 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

Documentation:

a time range ?time-range-1 and a time range ?time-range-2 ends at the

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

?time-range-2.

Implication Axioms for Finishes:

(=> (Finishes ?Time-Range-1 ?Time-Range-2)
    (Equals (End-Time-Of ?Time-Range-1) (End-Time-Of ?Time-Range-2)))

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

Equivalence Axioms for Finishes:

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

Equivalence Axioms mentioning Finishes:

(<=> (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)))

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