| HumanLanguage
| |
| 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 | |
| (partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) | Merge.kif 1333-1333 | |
| (subclass HumanLanguage Language) | Merge.kif 1331-1331 |
| appearance as argument number 2 |
|
|
| (subclass ConstructedLanguage HumanLanguage) | Merge.kif 1345-1345 | |
| (subclass ManualHumanLanguage HumanLanguage) | Merge.kif 1370-1370 | |
| (subclass NaturalLanguage HumanLanguage) | Merge.kif 1362-1362 | |
| (subclass SpokenHumanLanguage HumanLanguage) | Merge.kif 1376-1376 | |
| (subclass WrittenHumanLanguage HumanLanguage) | Merge.kif 1393-1393 | |
| (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 | |
| (domain documentation 2 HumanLanguage) | Merge.kif 370-370 | |
| (domain pastTense 1 HumanLanguage) | emotion.kif 198-198 | |
| (domain utterance 1 HumanLanguage) | emotion.kif 191-191 |
| 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 |
|
|
|