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