Deductions
- class of fictional entities has quality superclass ⇐ (class of fictional entities has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- antiverse has quality class of fictional entities ⇐ (fictional type of object is a class of fictional entities), (antiverse has quality fictional type of object)
- Universe has quality class of fictional entities ⇐ (fictional type of object is a class of fictional entities), (Universe has quality fictional type of object)
- fictional object has quality class of fictional entities ⇐ (fictional type of object is a class of fictional entities), (fictional object has quality fictional type of object)
- class of fictional entities is for example fictional type of property ⇐ (fictional type of property is a class of fictional entities), (is a is inverse of is for example)
- class of fictional entities is for example fictional type of object ⇐ (fictional type of object is a class of fictional entities), (is a is inverse of is for example)
- fictional type of property is a class of fictional entities ⇐ (fictional type of object is a class of fictional entities), (fictional type of object is opposite of fictional type of property)
- class of fictional entities has quality class ⇐ (quality is a class), (class of fictional entities has quality quality)
- class of fictional entities has quality superclass ⇐ (class of fictional entities has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- class of fictional entities has quality taxonomic rank ⇐ (class of fictional entities has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- class of fictional entities has quality abstract entity ⇐ (property is a abstract entity), (class of fictional entities has quality property)
- class of fictional entities has quality existence ⇐ (class of fictional entities has quality entity), (entity has quality existence), (has quality is a transitive relation)
- class of fictional entities has quality entity ⇐ (property is a entity), (class of fictional entities has quality property)
- class of fictional entities is for example fictional object ⇐ (fictional object is a class of fictional entities), (is a is inverse of is for example)
- class of fictional entities is for example fictional human ⇐ (fictional human is a class of fictional entities), (is a is inverse of is for example)
- 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 of fictional entities has quality criterion ⇐ (class of fictional entities is subclass of class), (class has quality criterion)
- class of fictional entities has quality quality ⇐ (class of fictional entities is subclass of class), (class has quality quality)
- class of fictional entities has quality property ⇐ (class of fictional entities is subclass of class), (class has quality property)
- class of fictional entities is for example fictional abstract object ⇐ (fictional abstract object is a class of fictional entities), (is a is inverse of is for example)
- class of fictional entities is for example fictional language ⇐ (fictional language is a class of fictional entities), (is a is inverse of is for example)
- variable-order class is for example class of fictional entities ⇐ (class of fictional entities is a variable-order class), (is a is inverse of is for example)
- class of fictional entities is for example fictional concrete object ⇐ (fictional concrete object is a class of fictional entities), (is a is inverse of is for example)