Augmentation of Relation >

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

Instance-Of:

Binary-Relation, Binary-Relation, Relation, Relation, Relation ...

Inverse: <

Arity: 2

Documentation: 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 ?Time-Point-1) (Time-Point ?Time-Point-2))
        (<=> (> ?Time-Point-1 ?Time-Point-2)
             (< ?Time-Point-2 ?Time-Point-1))))

Implication Axioms mentioning >:

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

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

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

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

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

Equivalence Axioms mentioning >:

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

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

(<=> (> ?Arg1 ?Arg2) (< ?Arg2 ?Arg1))

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

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