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