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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanLanguage
HumanLanguage
لُغَة إِنْسَانِيَّة, Linguagem_Humana, LinguaggioUmano, human_language, interlanguage, koine, langage_humain, lingua_franca, maanava_bhaashaa, tawhanong_pinulongan, wika_ng_tao, 人类语言

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


(documentation HumanLanguage ChineseLanguage "这是 Human 所用 Languagesubclass 。") Merge.kif 1474-1474
(documentation HumanLanguage EnglishLanguage "The subclass of Languages used by Humans.") Merge.kif 1472-1473
(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 1470-1470
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1471-1471
(subclass HumanLanguage Language) Merge.kif 1469-1469

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


(subclass ConstructedLanguage HumanLanguage) Merge.kif 1483-1483
(subclass ManualHumanLanguage HumanLanguage) Merge.kif 1514-1514
(subclass NaturalLanguage HumanLanguage) Merge.kif 1504-1504
(subclass SpokenHumanLanguage HumanLanguage) Merge.kif 1521-1521
(termFormat ChineseLanguage HumanLanguage "人类语言") chinese_format.kif 843-843
(termFormat EnglishLanguage HumanLanguage "human language") english_format.kif 530-530
(termFormat FrenchLanguage HumanLanguage "langage humain") french_format.kif 519-519
(termFormat Hindi HumanLanguage "maanava bhaashaa") terms-hindi.txt 50-50
(termFormat ItalianLanguage HumanLanguage "LinguaggioUmano") terms-it.txt 51-51
(termFormat PortugueseLanguage HumanLanguage "Linguagem Humana") portuguese_format.kif 471-471
(termFormat ar HumanLanguage "لُغَة إِنْسَانِيَّة") arabic_format.kif 255-255
(termFormat cb HumanLanguage "tawhanong pinulongan") terms-cb.txt 55-55
(termFormat cz HumanLanguage "human language") terms-cz.txt 86-86
(termFormat tg HumanLanguage "wika ng tao") terms-tg.txt 54-54

appearance as argument number 3
-------------------------


(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1427-1427
(domain documentation 2 HumanLanguage) Merge.kif 411-411
(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 1476-1481

consequent
-------------------------


(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (or
        (instance ?X HumanLanguage)
        (subclass ?X HumanLanguage)))
Languages.kif 14683-14687


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners