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