Deductions
- science fiction literature has quality class ⇐ (existence is a class), (science fiction literature has quality existence)
- entity is for example science fiction literature ⇐ (science fiction literature is a entity), (is a is inverse of is for example)
- science fiction literature has quality existence ⇐ (science fiction literature is a entity), (entity has quality existence)
- science fiction literature is a entity ⇐ (art genre is subclass of entity), (science fiction literature is a art genre)
- art genre is for example science fiction literature ⇐ (science fiction literature is a art genre), (is a is inverse of is for example)
- literary genre is for example science fiction literature ⇐ (science fiction literature is a literary genre), (is a is inverse of is for example)
- 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 literature is subclass of work of art ⇐ (science fiction literature is subclass of science fiction), (science fiction is subclass of work of art), (is subclass of is a transitive relation)
- science fiction literature is subclass of speculative fiction ⇐ (science fiction literature is subclass of science fiction), (science fiction is subclass of speculative fiction), (is subclass of is a transitive relation)
- science fiction literature is a art genre ⇐ (literary genre is subclass of art genre), (science fiction literature is a literary genre)