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