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