![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation HumanLanguage ChineseLanguage "这是 Human 所用 Language 的 subclass 。") | chinese_format.kif 1666-1666 | |
(documentation HumanLanguage EnglishLanguage "The subclass of Languages used by Humans.") | Merge.kif 1335-1336 | |
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Unua_Libro.jpg") | pictureList.kif 9316-9316 | |
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Confusion_of_Tongues.png") | pictureList.kif 9314-9314 | |
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Languengl.gif") | pictureList.kif 9317-9317 | |
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Caslon-schriftmusterblatt.jpeg") | pictureList.kif 8531-8531 | |
(partition HumanLanguage NaturalLanguage ConstructedLanguage) | Merge.kif 1332-1332 | Human language is exhaustively partitioned into natural language and constructed language |
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) | Merge.kif 1333-1333 | Human language is exhaustively partitioned into spoken human language and manual human language |
(subclass HumanLanguage Language) | Merge.kif 1331-1331 | Human language is a subclass of language |
appearance as argument number 2 |
![]() |
(subclass ConstructedLanguage HumanLanguage) | Merge.kif 1345-1345 | Constructed language is a subclass of human language |
(subclass ManualHumanLanguage HumanLanguage) | Merge.kif 1370-1370 | Manual human language is a subclass of human language |
(subclass NaturalLanguage HumanLanguage) | Merge.kif 1362-1362 | Natural 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 |
(termFormat ChineseLanguage HumanLanguage "人类语言") | chinese_format.kif 843-843 | |
(termFormat EnglishLanguage HumanLanguage "human language") | english_format.kif 893-893 |
appearance as argument number 3 |
![]() |
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) | Merge.kif 1291-1291 | Language is disjointly decomposed into animal language, human language, and computer language |
(domain documentation 2 HumanLanguage) | Merge.kif 370-370 | The number 2 argument of documentation is an instance of human language |
(domain pastTense 1 HumanLanguage) | emotion.kif 198-198 | The number 1 argument of pastTense is an instance of human language |
(domain utterance 1 HumanLanguage) | emotion.kif 191-191 | The number 1 argument of utterance is an instance of human language |
antecedent |
![]() |
(=> (and (instance ?LANG HumanLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Human)) |
Merge.kif 1338-1343 |
|
consequent |
![]() |
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14683-14687 |
|
![]() |
![]() |