Deductions
- song type has quality superclass ⇐ (song type has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- song type has quality superclass ⇐ (song type has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- song type has quality taxonomic rank ⇐ (song type has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- song type has quality abstract entity ⇐ (property is a abstract entity), (song type has quality property)
- metaclass is for example song type ⇐ (song type is a metaclass), (is a is inverse of is for example)
- song type has quality entity ⇐ (property is a entity), (song type has quality property)
- song type has quality class ⇐ (type of property is subclass of class), (song type has quality type of property)
- song type has quality property ⇐ (song type is subclass of type), (type has quality property)
- song type has quality criterion ⇐ (song type is subclass of type), (type has quality criterion)
- song type has quality type of property ⇐ (song type is subclass of type), (type has quality type of property)
- song type has quality quality ⇐ (song type is subclass of type), (type has quality quality)
- song type has quality class ⇐ (song type is subclass of type), (type has quality class)
- song type has quality existence ⇐ (song type is subclass of type), (type has quality existence)
- song type is for example national anthem ⇐ (national anthem is a song type), (is a is inverse of is for example)