| (=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14683-14687 |
|
| (subclass HumanLanguage Language) | Merge.kif 1327-1327 | Human language is a subclass of language |
| (subclass ConstructedLanguage HumanLanguage) | Merge.kif 1341-1341 | Constructed language is a subclass of human language |
| (subclass NaturalLanguage HumanLanguage) | Merge.kif 1358-1358 | Natural language is a subclass of human language |
| (subclass ManualHumanLanguage HumanLanguage) | Merge.kif 1366-1366 | Manual human language is a subclass of human language |
| (subclass SpokenHumanLanguage HumanLanguage) | Merge.kif 1372-1372 | Spoken human language is a subclass of human language |
| (subclass WrittenHumanLanguage HumanLanguage) | Merge.kif 1388-1388 | WrittenHumanLanguage is a subclass of human language |
|
|