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.

Subclass-Of: Integer

Axioms:

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