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