Deductions
- language has quality mathematical model ⇐ (statistical model is subclass of mathematical model), (language has quality statistical model)
- language has quality statistical model ⇐ (language model is subclass of statistical model), (language has quality language model)
- language is for example English ⇐ (English is a language), (is a is inverse of is for example)
- language is for example Polish ⇐ (Polish is a language), (is a is inverse of is for example)
- language is for example Xhosa ⇐ (Xhosa is a language), (is a is inverse of is for example)
- language is for example non-English ⇐ (non-English is a language), (is a is inverse of is for example)
- language is for example Czech ⇐ (Czech is a language), (is a is inverse of is for example)
- language is for example Welsh ⇐ (Welsh is a language), (is a is inverse of is for example)
- non-English is a language ⇐ (constructed language is subclass of language), (non-English is a constructed language)
- Welsh is a language ⇐ (constructed language is subclass of language), (Welsh is a constructed language)
- Polish is a language ⇐ (constructed language is subclass of language), (Polish is a constructed language)
- Xhosa is a language ⇐ (constructed language is subclass of language), (Xhosa is a constructed language)
- Czech is a language ⇐ (constructed language is subclass of language), (Czech is a constructed language)
- English is a language ⇐ (constructed language is subclass of language), (English is a constructed language)
- 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)
- language is part of intentional human activity ⇐ (language is part of language), (language is part of intentional human activity), (is part of is a transitive relation)
- language is part of communication ⇐ (language is part of language), (language is part of communication), (is part of is a transitive relation)
- language is part of intentional human activity ⇐ (language is part of communication), (communication is part of intentional human activity), (is part of is a transitive relation)
- language has part concept ⇐ (class is a concept), (language has part class)
- language has part class ⇐ (languoid class is a class), (language has part languoid class)
- language has part abstract entity ⇐ (languoid class is a abstract entity), (language has part languoid class)
- planned language is subclass of language ⇐ (natural language is subclass of language), (natural language is opposite of planned language)
- language has part languoid class ⇐ (language is a languoid class), (language has part language)
- entity is for example language ⇐ (language is a entity), (is a is inverse of is for example)
- aptitude is for example language ⇐ (language is a aptitude), (is a is inverse of is for example)
- foreign language is subclass of language ⇐ (first language is subclass of language), (first language is opposite of foreign language)