Deductions
- number with finite decimal representation has part complex number ⇐ (imaginary unit is a complex number), (number with finite decimal representation has part imaginary unit)
- imaginary unit is a complex number ⇐ (-i is a complex number), (-i is opposite of imaginary unit)
- complex number is for example many ⇐ (many is a complex number), (is a is inverse of is for example)
- complex number is for example 1 ⇐ (1 is a complex number), (is a is inverse of is for example)
- complex number is for example 2334 ⇐ (2334 is a complex number), (is a is inverse of is for example)
- 2334 is a complex number ⇐ (real number is subclass of complex number), (2334 is a real number)
- many is a complex number ⇐ (real number is subclass of complex number), (many is a real number)
- 1 is a complex number ⇐ (real number is subclass of complex number), (1 is a real number)
- entity is for example complex number ⇐ (complex number is a entity), (is a is inverse of is for example)
- complex number has quality existence ⇐ (complex number is a entity), (entity has quality existence)
- complex number is a entity ⇐ (type of number is subclass of entity), (complex number is a type of number)
- negative real number has part complex number ⇐ (imaginary unit is a complex number), (negative real number has part imaginary unit)
- complex unit has part complex number ⇐ (imaginary unit is a complex number), (complex unit has part imaginary unit)
- complex number has part quaternion ⇐ (imaginary unit is a quaternion), (complex number has part imaginary unit)
- complex number is for example imaginary unit ⇐ (imaginary unit is a complex number), (is a is inverse of is for example)
- complex number is for example -i ⇐ (-i is a complex number), (is a is inverse of is for example)
- -i is a complex number ⇐ (complex unit is subclass of complex number), (-i is a complex unit)
- imaginary unit is a complex number ⇐ (complex unit is subclass of complex number), (imaginary unit is a complex unit)
- complex number has part mathematical constant ⇐ (imaginary unit is a mathematical constant), (complex number has part imaginary unit)
- complex number has quality real-valued function ⇐ (absolute value is subclass of real-valued function), (complex number has quality absolute value)
- complex number is for example −3 ⇐ (−3 is a complex number), (is a is inverse of is for example)
- complex number is for example 3 ⇐ (3 is a complex number), (is a is inverse of is for example)
- 3 is a complex number ⇐ (negative real number is subclass of complex number), (3 is a negative real number)
- −3 is a complex number ⇐ (negative real number is subclass of complex number), (−3 is a negative real number)
- 0 number class is subclass of complex number ⇐ (nonzero real number is subclass of complex number), (nonzero real number is opposite of 0 number class)
- negative real number is subclass of complex number ⇐ (non-negative real number is subclass of complex number), (non-negative real number is opposite of negative real number)
- non-negative real number is subclass of complex number ⇐ (non-negative real number is subclass of nonzero real number), (nonzero real number is subclass of complex number), (is subclass of is a transitive relation)
- nonzero real number is subclass of complex number ⇐ (nonzero real number is subclass of real number), (real number is subclass of complex number), (is subclass of is a transitive relation)
- complex number is subclass of hypercomplex number ⇐ (complex number is subclass of quaternion), (quaternion is subclass of hypercomplex number), (is subclass of is a transitive relation)
- type of number is for example complex number ⇐ (complex number is a type of number), (is a is inverse of is for example)
- complex number is opposite of real number ⇐ real number is opposite of complex number