Deductions
- set of 0 has quality superclass ⇐ (set of 0 has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- set of 0 has quality class ⇐ (quality is a class), (set of 0 has quality quality)
- set of 0 has quality existence ⇐ (set of 0 has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- set of 0 has quality superclass ⇐ (set of 0 has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- set of 0 has quality taxonomic rank ⇐ (set of 0 has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- set of 0 has quality abstract entity ⇐ (type is a abstract entity), (set of 0 has quality type)
- set of 0 has quality entity ⇐ (type is a entity), (set of 0 has quality type)
- entity is for example set of 0 ⇐ (set of 0 is a entity), (is a is inverse of is for example)
- set of 0 has quality type of property ⇐ (set of 0 has quality type), (type has quality type of property), (has quality is a transitive relation)
- set of 0 has quality class ⇐ (set of 0 has quality type), (type has quality class), (has quality is a transitive relation)
- set of 0 is a entity ⇐ (type of fixed-size set or group is subclass of entity), (set of 0 is a type of fixed-size set or group)
- set of 0 has quality type ⇐ (criterion is a type), (set of 0 has quality criterion)
- type of fixed-size set or group is for example set of 0 ⇐ (set of 0 is a type of fixed-size set or group), (is a is inverse of is for example)
- class is for example set of 0 ⇐ (set of 0 is a class), (is a is inverse of is for example)
- set of 0 is a class ⇐ (type of fixed-size set or group is subclass of class), (set of 0 is a type of fixed-size set or group)
- set of 0 has quality property ⇐ (quality is subclass of property), (set of 0 has quality quality)
- set of 0 has quality quality ⇐ (criterion is subclass of quality), (set of 0 has quality criterion)
- set of 0 has quality criterion ⇐ (set of 0 is subclass of class), (class has quality criterion)