Deductions
- type of literary work has quality superclass ⇐ (type of literary work has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of literary work has quality class ⇐ (quality is a class), (type of literary work has quality quality)
- type of literary work has quality superclass ⇐ (type of literary work has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of literary work has quality taxonomic rank ⇐ (type of literary work has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- type of literary work has quality abstract entity ⇐ (property is a abstract entity), (type of literary work has quality property)
- type of literary work has quality entity ⇐ (property is a entity), (type of literary work has quality property)
- fiction has quality type of literary work ⇐ (fiction is subclass of literary work), (literary work has quality type of literary work)
- metaclass is for example type of literary work ⇐ (type of literary work is a metaclass), (is a is inverse of is for example)
- entity is for example type of literary work ⇐ (type of literary work is a entity), (is a is inverse of is for example)
- type of literary work has quality property ⇐ (type of literary work is a metaclass), (metaclass has quality property)
- type of literary work has quality type of property ⇐ (type of literary work is a metaclass), (metaclass has quality type of property)
- type of literary work has quality quality ⇐ (type of literary work is a metaclass), (metaclass has quality quality)
- type of literary work has quality criterion ⇐ (type of literary work is a metaclass), (metaclass has quality criterion)
- type of literary work has quality class ⇐ (type of literary work is a metaclass), (metaclass has quality class)
- type of literary work has quality existence ⇐ (type of literary work is a entity), (entity has quality existence)
- type of literary work is a entity ⇐ (metaclass is subclass of entity), (type of literary work is a metaclass)
- belletristic literature has quality type of literary work ⇐ (belletristic literature is subclass of literary work), (literary work has quality type of literary work)