Class
NATURAL
Natural number
Subclass-Of
:
Integer
Slots Of Instances:
>
:
0
Axioms:
(<=> (
Natural
?X) (And (
Integer
?X) (
>
?X 0)))
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp