-i

Deductions

• -i has quality property ⇐ (-i has quality triangle inequality), (triangle inequality has quality property), (has quality is a transitive relation)
• -i has quality arity ⇐ (-i has quality triangle inequality), (triangle inequality has quality arity), (has quality is a transitive relation)
• -i has quality superclass ⇐ (-i has quality triangle inequality), (triangle inequality has quality superclass), (has quality is a transitive relation)
• -i has quality mathematical object ⇐ (-i has quality triangle inequality), (triangle inequality has quality mathematical object), (has quality is a transitive relation)
• -i has quality mathematical property ⇐ (-i has quality triangle inequality), (triangle inequality has quality mathematical property), (has quality is a transitive relation)
• -i has quality criterion ⇐ (-i has quality triangle inequality), (triangle inequality has quality criterion), (has quality is a transitive relation)
• -i has quality taxonomic rank ⇐ (-i has quality triangle inequality), (triangle inequality has quality taxonomic rank), (has quality is a transitive relation)
• -i has quality set ⇐ (-i has quality triangle inequality), (triangle inequality has quality set), (has quality is a transitive relation)
• -i has quality class ⇐ (-i has quality triangle inequality), (triangle inequality has quality class), (has quality is a transitive relation)
• -i has quality type ⇐ (-i has quality triangle inequality), (triangle inequality has quality type), (has quality is a transitive relation)
• -i has quality quality ⇐ (-i has quality triangle inequality), (triangle inequality has quality quality), (has quality is a transitive relation)
• -i has quality relation ⇐ (-i has quality triangle inequality), (triangle inequality has quality relation), (has quality is a transitive relation)
• -i has quality entity ⇐ (-i has quality triangle inequality), (triangle inequality has quality entity), (has quality is a transitive relation)
• -i has quality type of property ⇐ (-i has quality triangle inequality), (triangle inequality has quality type of property), (has quality is a transitive relation)
• -i has quality number of entities ⇐ (-i has quality triangle inequality), (triangle inequality has quality number of entities), (has quality is a transitive relation)
• -i has quality abstract entity ⇐ (-i has quality triangle inequality), (triangle inequality has quality abstract entity), (has quality is a transitive relation)
• -i has quality absolute value ⇐ (-i is a complex number), (complex number has quality absolute value)
• -i has quality existence ⇐ (-i is a complex number), (complex number has quality existence)
• -i is opposite of imaginary unit ⇐ imaginary unit is opposite of -i
• -i has quality mathematical object ⇐ (-i has quality inequality), (inequality has quality mathematical object), (has quality is a transitive relation)
• -i has quality type ⇐ (-i has quality inequality), (inequality has quality type), (has quality is a transitive relation)
• -i has quality criterion ⇐ (-i has quality inequality), (inequality has quality criterion), (has quality is a transitive relation)
• -i has quality quality ⇐ (-i has quality inequality), (inequality has quality quality), (has quality is a transitive relation)
• -i has quality property ⇐ (-i has quality inequality), (inequality has quality property), (has quality is a transitive relation)
• -i has quality taxonomic rank ⇐ (-i has quality inequality), (inequality has quality taxonomic rank), (has quality is a transitive relation)
• -i has quality set ⇐ (-i has quality inequality), (inequality has quality set), (has quality is a transitive relation)
• -i has quality entity ⇐ (-i has quality inequality), (inequality has quality entity), (has quality is a transitive relation)
• -i has quality existence ⇐ (-i has quality inequality), (inequality has quality existence), (has quality is a transitive relation)
• -i has quality type of property ⇐ (-i has quality inequality), (inequality has quality type of property), (has quality is a transitive relation)
• -i has quality mathematical property ⇐ (-i has quality inequality), (inequality has quality mathematical property), (has quality is a transitive relation)
• -i has quality relation ⇐ (-i has quality inequality), (inequality has quality relation), (has quality is a transitive relation)
• -i has quality number of entities ⇐ (-i has quality inequality), (inequality has quality number of entities), (has quality is a transitive relation)
• -i has quality abstract entity ⇐ (-i has quality inequality), (inequality has quality abstract entity), (has quality is a transitive relation)
• -i has quality arity ⇐ (-i has quality inequality), (inequality has quality arity), (has quality is a transitive relation)
• -i has quality superclass ⇐ (-i has quality inequality), (inequality has quality superclass), (has quality is a transitive relation)
• -i has quality class ⇐ (-i has quality inequality), (inequality has quality class), (has quality is a transitive relation)
• quaternion is for example -i ⇐ (-i is a quaternion), (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 quaternion ⇐ (complex number is subclass of quaternion), (-i is a complex number)
• -i is a complex number ⇐ (complex unit is subclass of complex number), (-i is a complex unit)
• -i has quality inequality ⇐ (-i has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
• -i has quality triangle inequality ⇐ (-i has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
• -i has quality theorem ⇐ (-i has quality absolute value), (absolute value has quality theorem), (has quality is a transitive relation)
• -i has quality absolute value ⇐ (-i is a complex unit), (complex unit has quality absolute value)
• -i has quality real-valued function ⇐ (-i is a complex unit), (complex unit has quality real-valued function)
• mathematical constant is for example -i ⇐ (-i is a mathematical constant), (is a is inverse of is for example)
• complex unit is for example -i ⇐ (-i is a complex unit), (is a is inverse of is for example)
• -i is a mathematical constant ⇐ (imaginary unit is a mathematical constant), (imaginary unit is opposite of -i)