Relation >

returns true if each argument is greater than the one following it; otherwise returns nil.

Arity: 2

Domain: Number

Range: Number

Subrelation-Of: /=, >=

Axioms:

(<=> (> ?A ?B) (And (/= ?A ?B) (>= ?A ?B)))

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp
• Also defined in: Kif-numbers