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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanLanguage

Sigma KEE - HumanLanguage
HumanLanguage

appearance as argument number 1
-------------------------


(documentation HumanLanguage ChineseLanguage "这是 Human 所用 Languagesubclass 。") chinese_format.kif 1666-1666
(documentation HumanLanguage EnglishLanguage "The subclass of Languages used by Humans.") Merge.kif 1409-1410
(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 1406-1406 partition HumanLanguage, NaturalLanguage and ConstructedLanguage
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1407-1407 partition HumanLanguage, SpokenHumanLanguage and ManualHumanLanguage
(subclass HumanLanguage Language) Merge.kif 1405-1405 subclass HumanLanguage and Language

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


(subclass ConstructedLanguage HumanLanguage) Merge.kif 1419-1419 subclass ConstructedLanguage and HumanLanguage
(subclass ManualHumanLanguage HumanLanguage) Merge.kif 1444-1444 subclass ManualHumanLanguage and HumanLanguage
(subclass NaturalLanguage HumanLanguage) Merge.kif 1436-1436 subclass NaturalLanguage and HumanLanguage
(subclass SpokenHumanLanguage HumanLanguage) Merge.kif 1450-1450 subclass SpokenHumanLanguage and HumanLanguage
(subclass WrittenHumanLanguage HumanLanguage) Merge.kif 1467-1467 subclass WrittenHumanLanguage and HumanLanguage
(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 1365-1365 disjointDecomposition Language, AnimalLanguage, HumanLanguage and ComputerLanguage
(domain documentation 2 HumanLanguage) Merge.kif 371-371 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 1412-1417