| 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 1331-1332 | |
| (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 1328-1328 | partition HumanLanguage, NaturalLanguage and ConstructedLanguage |
| (partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) | Merge.kif 1329-1329 | partition HumanLanguage, SpokenHumanLanguage and ManualHumanLanguage |
| (subclass HumanLanguage Language) | Merge.kif 1327-1327 | subclass HumanLanguage and Language |
| appearance as argument number 2 |
|
|
| (subclass ConstructedLanguage HumanLanguage) | Merge.kif 1341-1341 | subclass ConstructedLanguage and HumanLanguage |
| (subclass ManualHumanLanguage HumanLanguage) | Merge.kif 1366-1366 | subclass ManualHumanLanguage and HumanLanguage |
| (subclass NaturalLanguage HumanLanguage) | Merge.kif 1358-1358 | subclass NaturalLanguage and HumanLanguage |
| (subclass SpokenHumanLanguage HumanLanguage) | Merge.kif 1372-1372 | subclass SpokenHumanLanguage and HumanLanguage |
| (subclass WrittenHumanLanguage HumanLanguage) | Merge.kif 1388-1388 | subclass WrittenHumanLanguage and HumanLanguage |
| (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 1287-1287 | disjointDecomposition Language, AnimalLanguage, HumanLanguage and ComputerLanguage |
| (domain documentation 2 HumanLanguage) | Merge.kif 369-369 | domain documentation, 2 and HumanLanguage |
| (domain pastTense 1 HumanLanguage) | emotion.kif 198-198 | domain pastTense, 1 and HumanLanguage |
| (domain utterance 1 HumanLanguage) | emotion.kif 191-191 | domain utterance, 1 and HumanLanguage |
| antecedent |
|
|
| (=> (and (instance ?LANG HumanLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Human)) |
Merge.kif 1334-1339 |
| consequent |
|
|
| (=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14683-14687 |
|
|
|