Deductions
- fiction has quality class ⇐ (abstract entity is a class), (fiction has quality abstract entity)
- fiction has quality existence ⇐ (fiction has quality entity), (entity has quality existence), (has quality is a transitive relation)
- fiction has quality entity ⇐ (type of literary work is a entity), (fiction has quality type of literary work)
- fiction has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (fiction has quality metaclass)
- fiction has quality metaclass ⇐ (fiction is subclass of literary work), (literary work has quality metaclass)
- fiction has quality type of literary work ⇐ (fiction is subclass of literary work), (literary work has quality type of literary work)
- fiction has part text ⇐ (fiction is subclass of literary work), (literary work has part text)
- entity is for example fiction ⇐ (fiction is a entity), (is a is inverse of is for example)
- genre is for example fiction ⇐ (fiction is a genre), (is a is inverse of is for example)
- fiction is subclass of literary work ⇐ (non-fiction is subclass of literary work), (non-fiction is opposite of fiction)
- fiction is subclass of work ⇐ (non-fiction is subclass of work), (non-fiction is opposite of fiction)
- fiction is a entity ⇐ (art genre is subclass of entity), (fiction is a art genre)
- fiction is a genre ⇐ (non-fiction is a genre), (non-fiction is opposite of fiction)
- art genre is for example fiction ⇐ (fiction is a art genre), (is a is inverse of is for example)
- non-fiction is opposite of fiction ⇐ fiction is opposite of non-fiction
- fiction is subclass of creative work ⇐ (fiction is subclass of work of art), (work of art is subclass of creative work), (is subclass of is a transitive relation)
- science fiction literature is subclass of fiction ⇐ (science fiction literature is subclass of science fiction), (science fiction is subclass of fiction), (is subclass of is a transitive relation)
- science fiction is subclass of fiction ⇐ (science fiction is subclass of speculative fiction), (speculative fiction is subclass of fiction), (is subclass of is a transitive relation)