Class NON-NEGATIVE-INTEGER

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

Slots on this class:

Documentation:

An integer greater than or equal to zero.

Instance-Of: Class

Subclass-Of: Integer

Equivalence Axioms:

(<=> (Non-Negative-Integer ?X) (And (Integer ?X) (>= ?X 0)))

Axioms:

(>= ?X 0)

(Integer ?X)

Other Related Axioms:

(<=> (Non-Negative-Integer ?X) (And (Integer ?X) (>= ?X 0)))