Deductions
- entity is for example speculative fiction genre ⇐ (speculative fiction genre is a entity), (is a is inverse of is for example)
- speculative fiction genre is a entity ⇐ (metaclass is subclass of entity), (speculative fiction genre is a metaclass)
- metaclass is for example speculative fiction genre ⇐ (speculative fiction genre is a metaclass), (is a is inverse of is for example)
- speculative fiction genre is for example science fiction ⇐ (science fiction is a speculative fiction genre), (is a is inverse of is for example)
- speculative fiction genre is subclass of genre ⇐ (speculative fiction genre is subclass of fiction genre), (fiction genre is subclass of genre), (is subclass of is a transitive relation)
- speculative fiction genre is subclass of abstract entity ⇐ (speculative fiction genre is subclass of fiction genre), (fiction genre is subclass of abstract entity), (is subclass of is a transitive relation)
- speculative fiction genre is subclass of class ⇐ (speculative fiction genre is subclass of fiction genre), (fiction genre is subclass of class), (is subclass of is a transitive relation)
- speculative fiction genre is subclass of art genre ⇐ (speculative fiction genre is subclass of fiction genre), (fiction genre is subclass of art genre), (is subclass of is a transitive relation)