Deductions
- class is for example type of fixed-size set or group ⇐ (type of fixed-size set or group is a class), (is a is inverse of is for example)
- type of fixed-size set or group is a class ⇐ (abstract entity is subclass of class), (type of fixed-size set or group is a abstract entity)
- type of fixed-size set or group has quality abstract entity ⇐ (type is a abstract entity), (type of fixed-size set or group has quality type)
- abstract entity is for example type of fixed-size set or group ⇐ (type of fixed-size set or group is a abstract entity), (is a is inverse of is for example)
- type of fixed-size set or group has quality existence ⇐ (type of fixed-size set or group has quality entity), (entity has quality existence), (has quality is a transitive relation)
- type of fixed-size set or group is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of fixed-size set or group is a metaclass)
- type of fixed-size set or group has quality entity ⇐ (taxonomic rank is a entity), (type of fixed-size set or group has quality taxonomic rank)
- type of fixed-size set or group has quality class ⇐ (type of property is subclass of class), (type of fixed-size set or group has quality type of property)
- entity is for example type of fixed-size set or group ⇐ (type of fixed-size set or group is a entity), (is a is inverse of is for example)
- type of fixed-size set or group is a entity ⇐ (metaclass is subclass of entity), (type of fixed-size set or group is a metaclass)
- type of fixed-size set or group has quality class ⇐ (type of property is a class), (type of fixed-size set or group has quality type of property)
- Federal Government of the United States has part type of fixed-size set or group ⇐ (dyad is a type of fixed-size set or group), (Federal Government of the United States has part dyad)
- type of fixed-size set or group is for example monad ⇐ (monad is a type of fixed-size set or group), (is a is inverse of is for example)
- 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)
- type of fixed-size set or group is for example dyad ⇐ (dyad is a type of fixed-size set or group), (is a is inverse of is for example)
- type of fixed-size set or group is for example tetrad ⇐ (tetrad is a type of fixed-size set or group), (is a is inverse of is for example)
- class is for example type of fixed-size set or group ⇐ (type of fixed-size set or group is a class), (is a is inverse of is for example)
- type of fixed-size set or group is for example triad ⇐ (triad is a type of fixed-size set or group), (is a is inverse of is for example)
- metaclass is for example type of fixed-size set or group ⇐ (type of fixed-size set or group is a metaclass), (is a is inverse of is for example)
- type of fixed-size set or group has quality type ⇐ (type of fixed-size set or group has quality quality), (quality has quality type), (has quality is a transitive relation)
- type of fixed-size set or group has quality type of property ⇐ (type of fixed-size set or group has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- type of fixed-size set or group has quality superclass ⇐ (type of fixed-size set or group has quality quality), (quality has quality superclass), (has quality is a transitive relation)
- type of fixed-size set or group has quality taxonomic rank ⇐ (type of fixed-size set or group has quality quality), (quality has quality taxonomic rank), (has quality is a transitive relation)
- type of fixed-size set or group is subclass of entity ⇐ (type of fixed-size set or group is subclass of abstract entity), (abstract entity is subclass of entity), (is subclass of is a transitive relation)
- type of fixed-size set or group is subclass of class ⇐ (type of fixed-size set or group is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- type of fixed-size set or group is subclass of abstract entity ⇐ (type of fixed-size set or group is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- type of fixed-size set or group is a class ⇐ (metaclass is subclass of class), (type of fixed-size set or group is a metaclass)
- type of fixed-size set or group has quality property ⇐ (quality is subclass of property), (type of fixed-size set or group has quality quality)
- type of fixed-size set or group has quality quality ⇐ (criterion is subclass of quality), (type of fixed-size set or group has quality criterion)
- type of fixed-size set or group has quality criterion ⇐ (type of fixed-size set or group is subclass of class), (class has quality criterion)