1

Deductions

• 1 has quality existence ⇐ (1 has quality triangle inequality), (triangle inequality has quality existence), (has quality is a transitive relation)
• 1 has quality property ⇐ (1 has quality triangle inequality), (triangle inequality has quality property), (has quality is a transitive relation)
• 1 has quality arity ⇐ (1 has quality triangle inequality), (triangle inequality has quality arity), (has quality is a transitive relation)
• 1 has quality superclass ⇐ (1 has quality triangle inequality), (triangle inequality has quality superclass), (has quality is a transitive relation)
• 1 has quality mathematical object ⇐ (1 has quality triangle inequality), (triangle inequality has quality mathematical object), (has quality is a transitive relation)
• 1 has quality mathematical property ⇐ (1 has quality triangle inequality), (triangle inequality has quality mathematical property), (has quality is a transitive relation)
• 1 has quality criterion ⇐ (1 has quality triangle inequality), (triangle inequality has quality criterion), (has quality is a transitive relation)
• 1 has quality taxonomic rank ⇐ (1 has quality triangle inequality), (triangle inequality has quality taxonomic rank), (has quality is a transitive relation)
• 1 has quality set ⇐ (1 has quality triangle inequality), (triangle inequality has quality set), (has quality is a transitive relation)
• 1 has quality class ⇐ (1 has quality triangle inequality), (triangle inequality has quality class), (has quality is a transitive relation)
• 1 has quality type ⇐ (1 has quality triangle inequality), (triangle inequality has quality type), (has quality is a transitive relation)
• 1 has quality quality ⇐ (1 has quality triangle inequality), (triangle inequality has quality quality), (has quality is a transitive relation)
• 1 has quality relation ⇐ (1 has quality triangle inequality), (triangle inequality has quality relation), (has quality is a transitive relation)
• 1 has quality entity ⇐ (1 has quality triangle inequality), (triangle inequality has quality entity), (has quality is a transitive relation)
• 1 has quality type of property ⇐ (1 has quality triangle inequality), (triangle inequality has quality type of property), (has quality is a transitive relation)
• 1 has quality number of entities ⇐ (1 has quality triangle inequality), (triangle inequality has quality number of entities), (has quality is a transitive relation)
• 1 has quality abstract entity ⇐ (1 has quality triangle inequality), (triangle inequality has quality abstract entity), (has quality is a transitive relation)
• 1 has quality triangle inequality ⇐ (1 has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
• 1 has quality inequality ⇐ (1 has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
• 1 has quality absolute value ⇐ (1 is a real number), (real number has quality absolute value)
• complex number is for example 1 ⇐ (1 is a complex number), (is a is inverse of is for example)
• real number is for example 1 ⇐ (1 is a real number), (is a is inverse of is for example)
• 1 is a complex number ⇐ (real number is subclass of complex number), (1 is a real number)
• 1 is a real number ⇐ (number with finite decimal representation is subclass of real number), (1 is a number with finite decimal representation)
• relation is for example 1 ⇐ (1 is a relation), (is a is inverse of is for example)
• 1 is subclass of quantity ⇐ (many is subclass of quantity), (many is opposite of 1)
• mother has quality 1 ⇐ (mother has quality unit), (unit has quality 1), (has quality is a transitive relation)
• close relative has quality 1 ⇐ (close relative has quality unit), (unit has quality 1), (has quality is a transitive relation)
• official app has quality 1 ⇐ (official app has quality sourcing circumstance), (sourcing circumstance has quality 1), (has quality is a transitive relation)
• official language has quality 1 ⇐ (official language has quality sourcing circumstance), (sourcing circumstance has quality 1), (has quality is a transitive relation)
• literary term has quality 1 ⇐ (literary term is subclass of unit), (unit has quality 1)
• 1 is a relation ⇐ (many is a relation), (many is opposite of 1)
• integer is for example 1 ⇐ (1 is a integer), (is a is inverse of is for example)
• natural number is for example 1 ⇐ (1 is a natural number), (is a is inverse of is for example)
• number with finite decimal representation is for example 1 ⇐ (1 is a number with finite decimal representation), (is a is inverse of is for example)
• many is opposite of 1 ⇐ 1 is opposite of many
• near has quality 1 ⇐ (near is a unit), (unit has quality 1)
• 1 has quality finiteness ⇐ (1 is a number with finite decimal representation), (number with finite decimal representation has quality finiteness)
• inference has quality 1 ⇐ (inference is a unit), (unit has quality 1)
• 1 is a number with finite decimal representation ⇐ (integer is subclass of number with finite decimal representation), (1 is a integer)
• 1 is a integer ⇐ (natural number is subclass of integer), (1 is a natural number)
• sourcing circumstance has quality 1 ⇐ (sourcing circumstance is subclass of unit), (unit has quality 1)
• title has quality 1 ⇐ (title is subclass of unit), (unit has quality 1)