Class
POSITIVE
Positive number
Subclass-Of
:
Number
Slots Of Instances:
>
:
0
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp