Class
NONNEGATIVE-INTEGER
Nonnegative integer
Subclass-Of
:
Integer
Slots Of Instances:
>=
:
0
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp