Class
POSITIVE
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp
Slots on this class:
Documentation
:
Positive number
Instance-Of
:
Class
Subclass-Of
:
Number
Axioms:
(
>
?X 0)
Other Related Axioms:
(=> (
Positive
?X) (
>
?X 0))