Relation
=<
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp
Slots on this relation:
Arity
:
2
Axioms:
(<=> (
=<
?X ?Y) (Or (
=
?X ?Y) (
<
?X ?Y)))