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