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