Deductions
- languoid is for example non-English ⇐ (non-English is a languoid), (is a is inverse of is for example)
- languoid is for example Polish ⇐ (Polish is a languoid), (is a is inverse of is for example)
- languoid is for example English ⇐ (English is a languoid), (is a is inverse of is for example)
- languoid is for example Czech ⇐ (Czech is a languoid), (is a is inverse of is for example)
- languoid is for example Xhosa ⇐ (Xhosa is a languoid), (is a is inverse of is for example)
- languoid is for example Welsh ⇐ (Welsh is a languoid), (is a is inverse of is for example)
- non-English is a languoid ⇐ (constructed language is subclass of languoid), (non-English is a constructed language)
- Welsh is a languoid ⇐ (constructed language is subclass of languoid), (Welsh is a constructed language)
- Polish is a languoid ⇐ (constructed language is subclass of languoid), (Polish is a constructed language)
- Xhosa is a languoid ⇐ (constructed language is subclass of languoid), (Xhosa is a constructed language)
- Czech is a languoid ⇐ (constructed language is subclass of languoid), (Czech is a constructed language)
- English is a languoid ⇐ (constructed language is subclass of languoid), (English is a constructed language)
- 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)
- artificial language is subclass of languoid ⇐ (artificial language is subclass of language), (language is subclass of languoid), (is subclass of is a transitive relation)
- entity is for example languoid ⇐ (languoid is a entity), (is a is inverse of is for example)
- languoid is a entity ⇐ (languoid class is subclass of entity), (languoid is a languoid class)
- languoid class is for example languoid ⇐ (languoid is a languoid class), (is a is inverse of is for example)
- languoid is subclass of entity ⇐ (languoid is subclass of abstract entity), (abstract entity is subclass of entity), (is subclass of is a transitive relation)
- natural language is subclass of languoid ⇐ (natural language is subclass of human language), (human language is subclass of languoid), (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)