Relation >

Defined in ontology: Kif-numbers
Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-numbers.lisp
Also defined in: Simple-time

Instance-Of@Frame-Ontology:: Binary-Relation@Ol-User%Kif-Relations, Binary-Relation@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations ...
Inverse@Ol-User%Kif-Relations: <
Arity@Frame-Ontology: 2
Documentation@Ol%Frame-Ontology: a time point ?time-point-1 preceeds a time point ?time-point-2.

Implication Axioms for >:

(=> (> ?Time-Point-1 ?Time-Point-2)
    (=> (And (Time-Point@Simple-Time ?Time-Point-1)
             (Time-Point@Simple-Time ?Time-Point-2))
        (<=> (> ?Time-Point-1 ?Time-Point-2)
             (< ?Time-Point-2 ?Time-Point-1))))

Implication Axioms mentioning >:

(=> (Natural ?X) (> ?X 0))

(=> (Positive ?X) (> ?X 0))

(=> (Positive-Integer@Ol-User%Kif-Extensions ?X) (> ?X 0))

(=> (During@Simple-Time ?Time-Range-1 ?Time-Range-2)
    (> (Start-Time-Of@Simple-Time ?Time-Range-1)
       (Start-Time-Of@Simple-Time ?Time-Range-2)))

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

Equivalence Axioms mentioning >:

(<=> (Natural ?X) (And (Integer ?X) (> ?X 0)))

(<=> (>= ?X ?Y) (Or (> ?X ?Y) (= ?X ?Y)))

(<=> (Positive-Integer@Ol-User%Kif-Extensions ?X)
     (And (Integer ?X) (> ?X 0)))

(<=> (During@Simple-Time ?Time-Range-1 ?Time-Range-2)
     (And (> (Start-Time-Of@Simple-Time ?Time-Range-1)
             (Start-Time-Of@Simple-Time ?Time-Range-2))
          (< (End-Time-Of@Simple-Time ?Time-Range-1)
             (End-Time-Of@Simple-Time ?Time-Range-2))))

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