Class COMPLEX-NUMBER

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

Slots on this class:

Documentation: Complex number

Instance-Of: Class

Subclass-Of: Number

Range-Of: Cis

Other Related Axioms:

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

(=> (= (Cis ?Radians) ?Complex) (Not (Complex-Number ?Radians)))