Deductions
- literary work has quality class ⇐ (abstract entity is a class), (literary work has quality abstract entity)
- literary work is part of language arts ⇐ (literary work is part of literature), (literature is part of language arts), (is part of is a transitive relation)
- literary work has quality existence ⇐ (literary work has quality entity), (entity has quality existence), (has quality is a transitive relation)
- literary work has quality entity ⇐ (type of literary work is a entity), (literary work has quality type of literary work)
- literary work has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (literary work has quality metaclass)
- fiction is subclass of literary work ⇐ (non-fiction is subclass of literary work), (non-fiction is opposite of fiction)
- non-fiction is subclass of literary work ⇐ (belletristic literature is subclass of literary work), (belletristic literature is opposite of non-fiction)
- literary work has quality metaclass ⇐ (type of literary work is a metaclass), (literary work has quality type of literary work)
- The Hitchhiker's Guide to the Galaxy pentalogy has part literary work ⇐ (The Hitchhiker's Guide to the Galaxy is a literary work), (The Hitchhiker's Guide to the Galaxy pentalogy has part The Hitchhiker's Guide to the Galaxy)
- literary work is for example The Nuttall Encyclopædia ⇐ (The Nuttall Encyclopædia is a literary work), (is a is inverse of is for example)
- literary work is for example The Hitchhiker's Guide to the Galaxy ⇐ (The Hitchhiker's Guide to the Galaxy is a literary work), (is a is inverse of is for example)
- literary work is for example Real-Encyclopädie der classischen Alterthumswissenschaft in alphabetischer Ordnung ⇐ (Real-Encyclopädie der classischen Alterthumswissenschaft in alphabetischer Ordnung is a literary work), (is a is inverse of is for example)