Deductions
- constructed language has quality mathematical model ⇐ (statistical model is subclass of mathematical model), (constructed language has quality statistical model)
- constructed language has quality taxonomic rank ⇐ (constructed language is subclass of artificial language), (artificial language has quality taxonomic rank)
- constructed language has quality superclass ⇐ (constructed language is subclass of artificial language), (artificial language has quality superclass)
- constructed language has quality entity ⇐ (constructed language is subclass of artificial language), (artificial language has quality entity)
- constructed language has quality existence ⇐ (constructed language is subclass of artificial language), (artificial language has quality existence)
- constructed language has quality class ⇐ (constructed language is subclass of artificial language), (artificial language has quality class)
- constructed language has quality statistical model ⇐ (language model is subclass of statistical model), (constructed language has quality language model)
- constructed language is subclass of language ⇐ (constructed language is subclass of artificial language), (artificial language is subclass of language), (is subclass of is a transitive relation)
- constructed language is subclass of languoid ⇐ (constructed language is subclass of artificial language), (artificial language is subclass of languoid), (is subclass of is a transitive relation)
- Anglic has part constructed language ⇐ (English is a constructed language), (Anglic has part English)
- non-English has part constructed language ⇐ (English is a constructed language), (non-English has part English)
- constructed language has quality language model ⇐ (constructed language is subclass of artificial language), (artificial language has quality language model)
- constructed language is for example non-English ⇐ (non-English is a constructed language), (is a is inverse of is for example)
- constructed language is for example Welsh ⇐ (Welsh is a constructed language), (is a is inverse of is for example)
- constructed language is for example Polish ⇐ (Polish is a constructed language), (is a is inverse of is for example)
- constructed language is for example Xhosa ⇐ (Xhosa is a constructed language), (is a is inverse of is for example)
- constructed language is for example Czech ⇐ (Czech is a constructed language), (is a is inverse of is for example)
- constructed language is for example English ⇐ (English is a constructed language), (is a is inverse of is for example)
- English is a constructed language ⇐ (natural language is subclass of constructed language), (English is a natural language)
- Czech is a constructed language ⇐ (natural language is subclass of constructed language), (Czech is a natural language)
- Xhosa is a constructed language ⇐ (natural language is subclass of constructed language), (Xhosa is a natural language)
- Polish is a constructed language ⇐ (natural language is subclass of constructed language), (Polish is a natural language)
- Welsh is a constructed language ⇐ (natural language is subclass of constructed language), (Welsh is a natural language)
- non-English is a constructed language ⇐ (natural language is subclass of constructed language), (non-English is a natural language)
- type of language is for example constructed language ⇐ (constructed language is a type of language), (is a is inverse of is for example)
- natural language is subclass of constructed language ⇐ (planned language is subclass of constructed language), (planned language is opposite of natural language)