Class NONNEGATIVE-INTEGER

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

Slots on this class:

Documentation:

Nonnegative integer

Subclass-Of: Integer

Axioms:

(=> (Nonnegative-Integer ?X) (>= ?X 0))