Class NEGATIVE

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

Slots on this class:

Documentation: Negative number

Instance-Of: Class

Subclass-Of: Number

Axioms:

(< ?X 0)

Other Related Axioms:

(=> (Negative ?X) (< ?X 0))