Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanLanguage
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 成 自然语言 和 人工语言
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1329-1329 人类语言 详尽无遗地 partition 成 口语人类语言 和 手动人类语言
(subclass HumanLanguage Language) Merge.kif 1327-1327 人类语言 是 语言 的 subclass

appearance as argument number 2
-------------------------


(subclass ConstructedLanguage HumanLanguage) Merge.kif 1341-1341 人工语言 是 人类语言 的 subclass
(subclass ManualHumanLanguage HumanLanguage) Merge.kif 1366-1366 手动人类语言 是 人类语言 的 subclass
(subclass NaturalLanguage HumanLanguage) Merge.kif 1358-1358 自然语言 是 人类语言 的 subclass
(subclass SpokenHumanLanguage HumanLanguage) Merge.kif 1372-1372 口语人类语言 是 人类语言 的 subclass
(subclass WrittenHumanLanguage HumanLanguage) Merge.kif 1388-1388 WrittenHumanLanguage 是 人类语言 的 subclass
(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 语言 分拆成不相交的 兽语, 人类语言, 和 电算机语言
(domain documentation 2 HumanLanguage) Merge.kif 369-369 文档 的 2 数量 是 人类语言 的 instance
(domain pastTense 1 HumanLanguage) emotion.kif 198-198 pastTense 的 1 数量 是 人类语言 的 instance
(domain utterance 1 HumanLanguage) emotion.kif 191-191 utterance 的 1 数量 是 人类语言 的 instance

antecedent
-------------------------


(=>
    (and
        (instance ?LANG HumanLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Human))		 Merge.kif 1334-1339