Class POSITIVE-INTEGER


Slots on this class:

Documentation:
An integer greater than zero, not including zero. A less ambiguous name for KIF's NATURAL.
Subclass-Of: Integer

Axioms:

(<=> (Positive-Integer ?X) (And (Integer ?X) (> ?X 0)))