Class ODD-INTEGER

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

Slots on this class:

Documentation: Odd integer

Instance-Of: Class

Subclass-Of: Integer

Axioms:

(= (Mod ?X 2) 1)

Other Related Axioms:

(=> (Odd-Integer ?X) (= (Mod ?X 2) 1))