Deductions
- entity is for example language ⇐ (language is a entity), (is a is inverse of is for example)
- language is a entity ⇐ (languoid class is subclass of entity), (language is a languoid class)
- language is for example Riksmål ⇐ (Riksmål is a language), (is a is inverse of is for example)
- language is for example Swedish ⇐ (Swedish is a language), (is a is inverse of is for example)
- language is for example Portuguese ⇐ (Portuguese is a language), (is a is inverse of is for example)
- languoid class is for example language ⇐ (language is a languoid class), (is a is inverse of is for example)
- language is for example Kapampangan ⇐ (Kapampangan is a language), (is a is inverse of is for example)
- language is for example German ⇐ (German is a language), (is a is inverse of is for example)
- natural language is subclass of language ⇐ (natural language is subclass of human language), (human language is subclass of language), (is subclass of is a transitive relation)