Class
ODD-INTEGER
Odd integer
Subclass-Of
:
Integer
Axioms:
(=> (
Odd-Integer
?X) (
=
(
Mod
?X 2) 1))
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp