Deductions
- literary theory has quality class ⇐ (quality is a class), (literary theory has quality quality)
- literary theory has quality abstract entity ⇐ (type is a abstract entity), (literary theory has quality type)
- literary theory has quality existence ⇐ (literary theory has quality entity), (entity has quality existence), (has quality is a transitive relation)
- literary theory has quality property ⇐ (literary theory has quality type of object), (type of object has quality property), (has quality is a transitive relation)
- literary theory has quality criterion ⇐ (literary theory has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
- literary theory has quality type of object ⇐ (class is a type of object), (literary theory has quality class)
- literary theory has quality entity ⇐ (taxonomic rank is a entity), (literary theory has quality taxonomic rank)
- literary theory has quality class ⇐ (type of property is a class), (literary theory has quality type of property)
- literary theory has quality type ⇐ (literary theory is subclass of philology), (philology has quality type)
- literary theory has quality taxonomic rank ⇐ (literary theory is subclass of philology), (philology has quality taxonomic rank)
- literary theory has quality topic ⇐ (literary theory is subclass of philology), (philology has quality topic)
- literary theory has quality quality ⇐ (literary theory is subclass of philology), (philology has quality quality)
- literary theory has quality superclass ⇐ (literary theory is subclass of philology), (philology has quality superclass)
- literary theory has quality type of property ⇐ (literary theory is subclass of philology), (philology has quality type of property)
- academic discipline is for example literary theory ⇐ (literary theory is a academic discipline), (is a is inverse of is for example)
- field of study is for example literary theory ⇐ (literary theory is a field of study), (is a is inverse of is for example)
- literary theory is subclass of philology ⇐ (literary theory is subclass of literary studies), (literary studies is subclass of philology), (is subclass of is a transitive relation)
- literary theory is a field of study ⇐ (academic discipline is subclass of field of study), (literary theory is a academic discipline)