Class POSITIVE-INTEGER

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

Slots on this class:

Documentation:

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

Instance-Of: Class

Subclass-Of: Integer

Equivalence Axioms:

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

Axioms:

(> ?X 0)

(Integer ?X)

Other Related Axioms:

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