Relation >

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp

Slots on this relation:

Instance-Of: Relation

Arity: 2

Inverse: <

Other Related Axioms:

(> ?X 0)

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

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

(<=> (> $Arg1 $Arg2) (< $Arg2 $Arg1))

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