Relation <

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp
• Also defined in: Unary-scalar-functions, Physical-quantities

Slots on this relation:

Documentation:

The sentence {tt (< $tau_1$ $tau_2$)} is true if and only if the number denoted by $tau_1$ is less than the number denoted by $tau_2$.

Instance-Of: Relation

Arity: 2

Other Related Axioms:

(< ?X 0)

(=> (Negative ?X) (< ?X 0))

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

(Inverse > <)

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