Class NUMBER

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

Slots on this class:

Documentation: Number

Instance-Of: Class

Domain-Of: Cis

Superclass-Of:

Complex-number, Negative, Positive, Real-number

Other Related Axioms:

(=> (Cis $X $Y) (Number $X))