Class NATURAL

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

Slots on this class:

Documentation:

Natural number

Subclass-Of: Integer

Axioms:

(<=> (Natural ?X) (And (Integer ?X) (> ?X 0)))