Deductions
- type of social group has part class ⇐ (entity is a class), (type of social group has part entity)
- type of social group has quality abstract entity ⇐ (type is a abstract entity), (type of social group has quality type)
- second-order class is for example type of social group ⇐ (type of social group is a second-order class), (is a is inverse of is for example)
- type of social group has quality entity ⇐ (taxonomic rank is a entity), (type of social group has quality taxonomic rank)
- type of social group has quality class ⇐ (type of property is subclass of class), (type of social group has quality type of property)
- type of social group has quality type ⇐ (type of social group is subclass of class), (class has quality type)
- type of social group has quality superclass ⇐ (type of social group is subclass of class), (class has quality superclass)
- type of social group has quality taxonomic rank ⇐ (type of social group is subclass of class), (class has quality taxonomic rank)
- type of social group has quality property ⇐ (type of social group is subclass of class), (class has quality property)
- type of social group has quality quality ⇐ (type of social group is subclass of class), (class has quality quality)
- type of social group has quality criterion ⇐ (type of social group is subclass of class), (class has quality criterion)
- type of social group has quality existence ⇐ (type of social group is subclass of class), (class has quality existence)
- type of social group has quality type of property ⇐ (type of social group is subclass of class), (class has quality type of property)
- type of social group has part entity ⇐ (type of social group is subclass of class), (class has part entity)
- type of social group has part variable-order class ⇐ (type of social group is subclass of class), (class has part variable-order class)
- type of social group is for example family ⇐ (family is a type of social group), (is a is inverse of is for example)