Deductions
- type of musical instrument has quality superclass ⇐ (type of musical instrument has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of musical instrument has quality class ⇐ (quality is a class), (type of musical instrument has quality quality)
- class is for example type of musical instrument ⇐ (type of musical instrument is a class), (is a is inverse of is for example)
- type of musical instrument has quality superclass ⇐ (type of musical instrument has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of musical instrument has quality taxonomic rank ⇐ (type of musical instrument has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- type of musical instrument is a class ⇐ (abstract entity is subclass of class), (type of musical instrument is a abstract entity)
- type of musical instrument has quality abstract entity ⇐ (type is a abstract entity), (type of musical instrument has quality type)
- abstract entity is for example type of musical instrument ⇐ (type of musical instrument is a abstract entity), (is a is inverse of is for example)
- type of musical instrument is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of musical instrument is a metaclass)
- type of musical instrument has quality entity ⇐ (type is a entity), (type of musical instrument has quality type)
- entity is for example type of musical instrument ⇐ (type of musical instrument is a entity), (is a is inverse of is for example)
- type of musical instrument has quality existence ⇐ (type of musical instrument is a entity), (entity has quality existence)
- type of musical instrument is a entity ⇐ (metaclass is subclass of entity), (type of musical instrument is a metaclass)
- type of musical instrument has quality type ⇐ (criterion is a type), (type of musical instrument has quality criterion)
- metaclass is for example type of musical instrument ⇐ (type of musical instrument is a metaclass), (is a is inverse of is for example)
- type of musical instrument is for example voice ⇐ (voice is a type of musical instrument), (is a is inverse of is for example)
- type of musical instrument is for example guitar ⇐ (guitar is a type of musical instrument), (is a is inverse of is for example)
- type of musical instrument is for example piano ⇐ (piano is a type of musical instrument), (is a is inverse of is for example)
- type of musical instrument is for example clarinet ⇐ (clarinet is a type of musical instrument), (is a is inverse of is for example)
- type of musical instrument is subclass of entity ⇐ (type of musical instrument is subclass of type), (type is subclass of entity), (is subclass of is a transitive relation)
- type of musical instrument is subclass of abstract entity ⇐ (type of musical instrument is subclass of type), (type is subclass of abstract entity), (is subclass of is a transitive relation)
- type of musical instrument is subclass of class ⇐ (type of musical instrument is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- type of musical instrument has quality property ⇐ (quality is subclass of property), (type of musical instrument has quality quality)
- type of musical instrument has quality quality ⇐ (criterion is subclass of quality), (type of musical instrument has quality criterion)
- type of musical instrument has quality criterion ⇐ (type of musical instrument is subclass of type), (type has quality criterion)