Deductions
- human language has quality class ⇐ (existence is a class), (human language has quality existence)
- planned language is subclass of human language ⇐ (natural language is subclass of human language), (natural language is opposite of planned language)
- human language has quality entity ⇐ (taxonomic rank is a entity), (human language has quality taxonomic rank)
- entity is for example human language ⇐ (human language is a entity), (is a is inverse of is for example)
- human language is a entity ⇐ (languoid class is subclass of entity), (human language is a languoid class)
- human language has quality superclass ⇐ (human language is subclass of abstract entity), (abstract entity has quality superclass)
- human language has quality taxonomic rank ⇐ (human language is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- human language has quality existence ⇐ (human language is subclass of entity), (entity has quality existence)
- human language is for example Xhosa ⇐ (Xhosa is a human language), (is a is inverse of is for example)
- human language is for example Welsh ⇐ (Welsh is a human language), (is a is inverse of is for example)
- human language is for example Czech ⇐ (Czech is a human language), (is a is inverse of is for example)
- human language is for example English ⇐ (English is a human language), (is a is inverse of is for example)
- human language is for example Polish ⇐ (Polish is a human language), (is a is inverse of is for example)
- languoid class is for example human language ⇐ (human language is a languoid class), (is a is inverse of is for example)
- human language is for example non-English ⇐ (non-English is a human language), (is a is inverse of is for example)
- human language is subclass of entity ⇐ (human language is subclass of languoid), (languoid is subclass of entity), (is subclass of is a transitive relation)
- human language is subclass of abstract entity ⇐ (human language is subclass of languoid), (languoid is subclass of abstract entity), (is subclass of is a transitive relation)
- human language is subclass of languoid ⇐ (human language is subclass of language), (language is subclass of languoid), (is subclass of is a transitive relation)
- Welsh is a human language ⇐ (natural language is subclass of human language), (Welsh is a natural language)
- Czech is a human language ⇐ (natural language is subclass of human language), (Czech is a natural language)
- Xhosa is a human language ⇐ (natural language is subclass of human language), (Xhosa is a natural language)
- Polish is a human language ⇐ (natural language is subclass of human language), (Polish is a natural language)
- English is a human language ⇐ (natural language is subclass of human language), (English is a natural language)
- non-English is a human language ⇐ (natural language is subclass of human language), (non-English is a natural language)