Class NATURAL

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

Slots on this class:

Documentation: Natural number

Instance-Of: Class

Subclass-Of: Integer

Range-Of: Float-radix

Equivalence Axioms:

(<=> (Natural ?X) (And (Integer ?X) (> ?X 0)))

Axioms:

(> ?X 0)

(Integer ?X)

Other Related Axioms:

(<=> (Natural ?X) (And (Integer ?X) (> ?X 0)))

(=> (Float-Radix $X $Y) (Natural $Y))