Class NON-NEGATIVE-INTEGER

An integer greater than or equal to zero.

Subclass-Of: Integer

Axioms:

(Inherited-Slot-Value Non-Negative-Integer >= 0)

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

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