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 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners