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