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