Deductions
- type of language has quality class ⇐ (existence is a class), (type of language has quality existence)
- Anglic has part type of language ⇐ (constructed language is a type of language), (Anglic has part constructed language)
- non-English has part type of language ⇐ (constructed language is a type of language), (non-English has part constructed language)
- class is for example type of language ⇐ (type of language is a class), (is a is inverse of is for example)
- type of language is for example artificial language ⇐ (artificial language is a type of language), (is a is inverse of is for example)
- type of language is a class ⇐ (abstract entity is subclass of class), (type of language is a abstract entity)
- abstract entity is for example type of language ⇐ (type of language is a abstract entity), (is a is inverse of is for example)
- type of language is for example constructed language ⇐ (constructed language is a type of language), (is a is inverse of is for example)
- type of language is for example undetermined language ⇐ (undetermined language is a type of language), (is a is inverse of is for example)
- type of language has quality entity ⇐ (type of language is a abstract entity), (abstract entity has quality entity)
- type of language has quality existence ⇐ (type of language is a abstract entity), (abstract entity has quality existence)
- type of language has quality superclass ⇐ (type of language is a abstract entity), (abstract entity has quality superclass)
- type of language has quality taxonomic rank ⇐ (type of language is a abstract entity), (abstract entity has quality taxonomic rank)
- type of language is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of language is a metaclass)
- entity is for example type of language ⇐ (type of language is a entity), (is a is inverse of is for example)
- type of language is a entity ⇐ (metaclass is subclass of entity), (type of language is a metaclass)
- type of language is for example dead language ⇐ (dead language is a type of language), (is a is inverse of is for example)
- type of language is for example natural language ⇐ (natural language is a type of language), (is a is inverse of is for example)
- metaclass is for example type of language ⇐ (type of language is a metaclass), (is a is inverse of is for example)
- type of language is for example planned language ⇐ (planned language is a type of language), (is a is inverse of is for example)
- type of language is for example modern language ⇐ (modern language is a type of language), (is a is inverse of is for example)
- type of language is subclass of entity ⇐ (type of language is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- type of language is subclass of abstract entity ⇐ (type of language is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- type of language is subclass of rank ⇐ (type of language is subclass of languoid class), (languoid class is subclass of rank), (is subclass of is a transitive relation)
- type of language is subclass of class ⇐ (type of language is subclass of languoid class), (languoid class is subclass of class), (is subclass of is a transitive relation)
- dead language is a type of language ⇐ (modern language is a type of language), (modern language is opposite of dead language)
- planned language is a type of language ⇐ (natural language is a type of language), (natural language is opposite of planned language)