Deductions
- musical work\/composition has quality class ⇐ (existence is a class), (musical work\/composition has quality existence)
- musical work\/composition has quality superclass ⇐ (musical work\/composition is a class), (class has quality superclass)
- musical work\/composition has quality taxonomic rank ⇐ (musical work\/composition is a class), (class has quality taxonomic rank)
- musical work\/composition has quality entity ⇐ (musical work\/composition is a class), (class has quality entity)
- class is for example musical work\/composition ⇐ (musical work\/composition is a class), (is a is inverse of is for example)
- musical work\/composition is a class ⇐ (abstract entity is subclass of class), (musical work\/composition is a abstract entity)
- abstract entity is for example musical work\/composition ⇐ (musical work\/composition is a abstract entity), (is a is inverse of is for example)
- musical work\/composition is a abstract entity ⇐ (metaclass is subclass of abstract entity), (musical work\/composition is a metaclass)
- entity is for example musical work\/composition ⇐ (musical work\/composition is a entity), (is a is inverse of is for example)
- musical work\/composition has quality existence ⇐ (musical work\/composition is a entity), (entity has quality existence)
- musical work\/composition is a entity ⇐ (metaclass is subclass of entity), (musical work\/composition is a metaclass)
- musical work\/composition is for example The Star-Spangled Banner ⇐ (The Star-Spangled Banner is a musical work\/composition), (is a is inverse of is for example)
- metaclass is for example musical work\/composition ⇐ (musical work\/composition is a metaclass), (is a is inverse of is for example)
- musical work\/composition is for example Live and Let Live ⇐ (Live and Let Live is a musical work\/composition), (is a is inverse of is for example)