Deductions
- class is for example nonzero real number ⇐ (nonzero real number is a class), (is a is inverse of is for example)
- entity is for example nonzero real number ⇐ (nonzero real number is a entity), (is a is inverse of is for example)
- nonzero real number is a entity ⇐ (type of number is subclass of entity), (nonzero real number is a type of number)
- nonzero real number has quality taxonomic rank ⇐ (nonzero real number is subclass of hypercomplex number), (hypercomplex number has quality taxonomic rank)
- nonzero real number has quality existence ⇐ (nonzero real number is subclass of hypercomplex number), (hypercomplex number has quality existence)
- nonzero real number has quality class ⇐ (nonzero real number is subclass of hypercomplex number), (hypercomplex number has quality class)
- nonzero real number has quality superclass ⇐ (nonzero real number is subclass of hypercomplex number), (hypercomplex number has quality superclass)
- nonzero real number has quality entity ⇐ (nonzero real number is subclass of hypercomplex number), (hypercomplex number has quality entity)
- nonzero real number has quality real-valued function ⇐ (absolute value is subclass of real-valued function), (nonzero real number has quality absolute value)
- nonzero real number has quality absolute value ⇐ (nonzero real number is subclass of complex number), (complex number has quality absolute value)
- 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)
- nonzero real number is subclass of quaternion ⇐ (nonzero real number is subclass of real number), (real number is subclass of quaternion), (is subclass of is a transitive relation)
- nonzero real number is subclass of hypercomplex number ⇐ (nonzero real number is subclass of real number), (real number is subclass of hypercomplex number), (is subclass of is a transitive relation)
- class is for example nonzero real number ⇐ (nonzero real number is a class), (is a is inverse of is for example)
- nonzero real number is a class ⇐ (0 number class is a class), (0 number class is opposite of nonzero real number)
- type of number is for example nonzero real number ⇐ (nonzero real number is a type of number), (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
- non-negative real number is subclass of nonzero real number ⇐ (negative real number is subclass of nonzero real number), (negative real number is opposite of non-negative real number)