Deductions
- imaginary unit has quality superclass ⇐ (imaginary unit has quality inequality), (inequality has quality superclass), (has quality is a transitive relation)
- imaginary unit has quality class ⇐ (imaginary unit has quality inequality), (inequality has quality class), (has quality is a transitive relation)
- imaginary unit has quality absolute value ⇐ (imaginary unit is a complex number), (complex number has quality absolute value)
- imaginary unit has quality existence ⇐ (imaginary unit is a complex number), (complex number has quality existence)
- imaginary unit is a complex number ⇐ (-i is a complex number), (-i is opposite of imaginary unit)
- number is for example imaginary unit ⇐ (imaginary unit is a number), (is a is inverse of is for example)
- imaginary unit is a number ⇐ (mathematical constant is subclass of number), (imaginary unit is a mathematical constant)
- number with finite decimal representation has part imaginary unit ⇐ (number with finite decimal representation is subclass of real number), (real number has part imaginary unit)
- -i is opposite of imaginary unit ⇐ imaginary unit is opposite of -i
- 0 number class has part imaginary unit ⇐ (0 number class is subclass of real number), (real number has part imaginary unit)
- real number has part imaginary unit ⇐ (real number is subclass of complex number), (complex number has part imaginary unit)
- imaginary unit has quality mathematical object ⇐ (imaginary unit has quality inequality), (inequality has quality mathematical object), (has quality is a transitive relation)
- imaginary unit has quality type ⇐ (imaginary unit has quality inequality), (inequality has quality type), (has quality is a transitive relation)
- imaginary unit has quality criterion ⇐ (imaginary unit has quality inequality), (inequality has quality criterion), (has quality is a transitive relation)
- imaginary unit has quality quality ⇐ (imaginary unit has quality inequality), (inequality has quality quality), (has quality is a transitive relation)
- imaginary unit has quality property ⇐ (imaginary unit has quality inequality), (inequality has quality property), (has quality is a transitive relation)
- imaginary unit has quality taxonomic rank ⇐ (imaginary unit has quality inequality), (inequality has quality taxonomic rank), (has quality is a transitive relation)
- imaginary unit has quality set ⇐ (imaginary unit has quality inequality), (inequality has quality set), (has quality is a transitive relation)
- imaginary unit has quality entity ⇐ (imaginary unit has quality inequality), (inequality has quality entity), (has quality is a transitive relation)
- imaginary unit has quality existence ⇐ (imaginary unit has quality inequality), (inequality has quality existence), (has quality is a transitive relation)
- imaginary unit has quality type of property ⇐ (imaginary unit has quality inequality), (inequality has quality type of property), (has quality is a transitive relation)
- imaginary unit has quality mathematical property ⇐ (imaginary unit has quality inequality), (inequality has quality mathematical property), (has quality is a transitive relation)
- imaginary unit has quality relation ⇐ (imaginary unit has quality inequality), (inequality has quality relation), (has quality is a transitive relation)
- imaginary unit has quality number of entities ⇐ (imaginary unit has quality inequality), (inequality has quality number of entities), (has quality is a transitive relation)
- imaginary unit has quality abstract entity ⇐ (imaginary unit has quality inequality), (inequality has quality abstract entity), (has quality is a transitive relation)
- imaginary unit has quality arity ⇐ (imaginary unit has quality inequality), (inequality has quality arity), (has quality is a transitive relation)
- imaginary unit has quality superclass ⇐ (imaginary unit has quality inequality), (inequality has quality superclass), (has quality is a transitive relation)
- imaginary unit has quality class ⇐ (imaginary unit has quality inequality), (inequality has quality class), (has quality is a transitive relation)
- complex unit is for example imaginary unit ⇐ (imaginary unit is a complex unit), (is a is inverse of is for example)
- complex number is for example imaginary unit ⇐ (imaginary unit is a complex number), (is a is inverse of is for example)
- quaternion is for example imaginary unit ⇐ (imaginary unit is a quaternion), (is a is inverse of is for example)
- imaginary unit is a quaternion ⇐ (complex number is subclass of quaternion), (imaginary unit is a complex number)
- imaginary unit is a complex number ⇐ (complex unit is subclass of complex number), (imaginary unit is a complex unit)
- imaginary unit has quality inequality ⇐ (imaginary unit has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- imaginary unit has quality triangle inequality ⇐ (imaginary unit has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
- imaginary unit has quality theorem ⇐ (imaginary unit has quality absolute value), (absolute value has quality theorem), (has quality is a transitive relation)
- imaginary unit has quality absolute value ⇐ (imaginary unit is a complex unit), (complex unit has quality absolute value)
- imaginary unit has quality real-valued function ⇐ (imaginary unit is a complex unit), (complex unit has quality real-valued function)
- imaginary unit is a complex unit ⇐ (-i is a complex unit), (-i is opposite of imaginary unit)
- complex unit has part imaginary unit ⇐ (complex unit is subclass of complex number), (complex number has part imaginary unit)
- mathematical constant is for example imaginary unit ⇐ (imaginary unit is a mathematical constant), (is a is inverse of is for example)
- negative real number has part imaginary unit ⇐ (negative real number is subclass of complex number), (complex number has part imaginary unit)