|
|
   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 1390-1391 | |
| (externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Unua_Libro.jpg") | pictureList.kif 9312-9312 | |
| (externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Confusion_of_Tongues.png") | pictureList.kif 9310-9310 | |
| (externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Languengl.gif") | pictureList.kif 9313-9313 | |
| (externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Caslon-schriftmusterblatt.jpeg") | pictureList.kif 8529-8529 | |
| (partition HumanLanguage NaturalLanguage ConstructedLanguage) | Merge.kif 1387-1387 | |
| (partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) | Merge.kif 1388-1388 | |
| (subclass HumanLanguage Language) | Merge.kif 1386-1386 |
| appearance as argument number 2 |
|
|
| (subclass ConstructedLanguage HumanLanguage) | Merge.kif 1400-1400 | |
| (subclass ManualHumanLanguage HumanLanguage) | Merge.kif 1425-1425 | |
| (subclass NaturalLanguage HumanLanguage) | Merge.kif 1417-1417 | |
| (subclass SpokenHumanLanguage HumanLanguage) | Merge.kif 1431-1431 | |
| (subclass WrittenHumanLanguage HumanLanguage) | Merge.kif 1448-1448 | |
| (termFormat ChineseLanguage HumanLanguage "人类语言") | chinese_format.kif 843-843 | |
| (termFormat EnglishLanguage HumanLanguage "human language") | english_format.kif 888-888 |
| appearance as argument number 3 |
|
|
| (disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) | Merge.kif 1346-1346 | |
| (domain documentation 2 HumanLanguage) | Merge.kif 368-368 | |
| (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 1393-1398 |
| consequent |
|
|
| (=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14705-14709 |
|
|
|
