| (=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14683-14687 |
|
| (subclass HumanLanguage Language) | Merge.kif 1331-1331 | Human language is a subclass of language |
| (subclass ConstructedLanguage HumanLanguage) | Merge.kif 1345-1345 | Constructed language is a subclass of human language |
| (subclass NaturalLanguage HumanLanguage) | Merge.kif 1362-1362 | Natural language is a subclass of human language |
| (subclass ManualHumanLanguage HumanLanguage) | Merge.kif 1370-1370 | Manual human language is a subclass of human language |
| (subclass SpokenHumanLanguage HumanLanguage) | Merge.kif 1376-1376 | Spoken human language is a subclass of human language |
| (subclass WrittenHumanLanguage HumanLanguage) | Merge.kif 1393-1393 | WrittenHumanLanguage is a subclass of human language |
|
|