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