Deductions
- 02 has quality type ⇐ (02 has quality class), (class has quality type), (has quality is a transitive relation)
- 02 has quality type of property ⇐ (02 has quality class), (class has quality type of property), (has quality is a transitive relation)
- 02 has quality criterion ⇐ (02 has quality class), (class has quality criterion), (has quality is a transitive relation)
- 02 has quality quality ⇐ (02 has quality class), (class has quality quality), (has quality is a transitive relation)
- 02 has quality property ⇐ (02 has quality class), (class has quality property), (has quality is a transitive relation)
- 02 has quality class ⇐ (set is a class), (02 has quality set)
- 02 has quality class ⇐ (quality is a class), (02 has quality quality)
- 02 has quality type ⇐ (02 has quality class), (class has quality type), (has quality is a transitive relation)
- 02 has quality type of property ⇐ (02 has quality class), (class has quality type of property), (has quality is a transitive relation)
- 02 has quality criterion ⇐ (02 has quality class), (class has quality criterion), (has quality is a transitive relation)
- 02 has quality quality ⇐ (02 has quality class), (class has quality quality), (has quality is a transitive relation)
- 02 has quality property ⇐ (02 has quality class), (class has quality property), (has quality is a transitive relation)
- 02 has quality class ⇐ (set is a class), (02 has quality set)
- 02 has quality abstract entity ⇐ (set is a abstract entity), (02 has quality set)
- 02 has quality existence ⇐ (02 has quality entity), (entity has quality existence), (has quality is a transitive relation)
- 02 has quality entity ⇐ (taxonomic rank is a entity), (02 has quality taxonomic rank)
- mathematical object is for example 02 ⇐ (02 is a mathematical object), (is a is inverse of is for example)
- 02 has quality mathematical property ⇐ (02 is a mathematical object), (mathematical object has quality mathematical property)
- 02 has quality superclass ⇐ (02 is a mathematical object), (mathematical object has quality superclass)
- 02 has quality set ⇐ (02 is a mathematical object), (mathematical object has quality set)
- 02 has quality relation ⇐ (02 is a mathematical object), (mathematical object has quality relation)
- 02 has quality taxonomic rank ⇐ (02 is a mathematical object), (mathematical object has quality taxonomic rank)
- 02 is a mathematical object ⇐ (number is subclass of mathematical object), (02 is a number)
- number is for example 02 ⇐ (02 is a number), (is a is inverse of is for example)