Deductions
- fictional language has quality superclass ⇐ (fictional language has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- fictional language has quality class ⇐ (quality is a class), (fictional language has quality quality)
- fictional language has quality superclass ⇐ (fictional language has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- fictional language has quality taxonomic rank ⇐ (fictional language has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- fictional language has quality abstract entity ⇐ (type is a abstract entity), (fictional language has quality type)
- fictional language has quality entity ⇐ (type is a entity), (fictional language has quality type)
- entity is for example fictional language ⇐ (fictional language is a entity), (is a is inverse of is for example)
- class is for example fictional language ⇐ (fictional language is a class), (is a is inverse of is for example)
- fictional language has quality property ⇐ (fictional language is a class), (class has quality property)
- fictional language has quality quality ⇐ (fictional language is a class), (class has quality quality)
- fictional language has quality criterion ⇐ (fictional language is a class), (class has quality criterion)
- fictional language is a entity ⇐ (class is subclass of entity), (fictional language is a class)
- fictional language is a class ⇐ (class of fictional entities is subclass of class), (fictional language is a class of fictional entities)
- fictional language has quality artificiality ⇐ (fictional language is subclass of artificial object), (artificial object has quality artificiality)
- fictional language has quality type ⇐ (fictional language is subclass of artificial object), (artificial object has quality type)
- fictional language has quality type of object ⇐ (fictional language is subclass of artificial object), (artificial object has quality type of object)
- fictional language has quality existence ⇐ (fictional language is subclass of entity), (entity has quality existence)
- 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)
- fictional language is for example Newspeak ⇐ (Newspeak is a fictional language), (is a is inverse of is for example)
- fictional language is for example Oldspeak ⇐ (Oldspeak is a fictional language), (is a is inverse of is for example)
- fictional language is subclass of entity ⇐ (fictional language is subclass of fictional entity), (fictional entity is subclass of entity), (is subclass of is a transitive relation)
- fictional language is subclass of artificial object ⇐ (fictional language is subclass of fictional entity), (fictional entity is subclass of artificial object), (is subclass of is a transitive relation)
- fictional language is subclass of object ⇐ (fictional language is subclass of fictional entity), (fictional entity is subclass of object), (is subclass of is a transitive relation)
- fictional language is subclass of fictional entity ⇐ (fictional language is subclass of fictional abstract object), (fictional abstract object is subclass of fictional entity), (is subclass of is a transitive relation)
- Newspeak is a fictional language ⇐ (Oldspeak is a fictional language), (Oldspeak is opposite of Newspeak)