Class POSITIVE-INTEGER

An integer greater than zero, not including zero. A less ambiguous name for KIF's NATURAL.

Subclass-Of: Integer

Axioms:

(Inherited-Slot-Value Positive-Integer > 0)

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

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