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