Relation =<

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Equivalence Axioms:

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