Deductions
- fictional universe has quality superclass ⇐ (fictional universe has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- fictional universe has quality class ⇐ (quality is a class), (fictional universe has quality quality)
- fictional universe has quality superclass ⇐ (fictional universe has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- fictional universe has quality taxonomic rank ⇐ (fictional universe has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- fictional universe has quality abstract entity ⇐ (type is a abstract entity), (fictional universe has quality type)
- fictional universe has quality entity ⇐ (type is a entity), (fictional universe has quality type)
- class of fictional entities is for example fictional universe ⇐ (fictional universe is a class of fictional entities), (is a is inverse of is for example)
- class is for example fictional universe ⇐ (fictional universe is a class), (is a is inverse of is for example)
- entity is for example fictional universe ⇐ (fictional universe is a entity), (is a is inverse of is for example)
- fictional universe has quality type ⇐ (fictional universe is a class), (class has quality type)
- fictional universe has quality property ⇐ (fictional universe is a class), (class has quality property)
- fictional universe has quality quality ⇐ (fictional universe is a class), (class has quality quality)
- fictional universe has quality criterion ⇐ (fictional universe is a class), (class has quality criterion)
- fictional universe has quality existence ⇐ (fictional universe is a entity), (entity has quality existence)
- fictional universe is a entity ⇐ (class is subclass of entity), (fictional universe is a class)
- fictional universe is a class ⇐ (class of fictional entities is subclass of class), (fictional universe is a class of fictional entities)
- fictional universe is for example The Hitchhiker's Guide to the Galaxy universe ⇐ (The Hitchhiker's Guide to the Galaxy universe is a fictional universe), (is a is inverse of is for example)