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 所用 Languagesubclass 。") chinese_format.kif 1666-1666
(documentation HumanLanguage EnglishLanguage "The subclass of Languages used by Humans.") Merge.kif 1460-1461
(documentation HumanLanguage JapaneseLanguage "LanguagesubclassHumans が 使用する。") japanese_format.kif 255-256
(documentation HumanLanguage SpanishLanguage "La subclass de Languages usados o sea «lenguajes naturales» por Humans.") spanish_format.kif 300-301
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Unua_Libro.jpg") pictureList.kif 9310-9310
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Confusion_of_Tongues.png") pictureList.kif 9308-9308
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Languengl.gif") pictureList.kif 9311-9311
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Caslon_schriftmusterblatt.jpeg") pictureList.kif 8527-8527
(partition HumanLanguage NaturalLanguage ConstructedLanguage) Merge.kif 1457-1457
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1458-1458
(subclass HumanLanguage Language) Merge.kif 1456-1456

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


(subclass ConstructedLanguage HumanLanguage) Merge.kif 1470-1470
(subclass ManualHumanLanguage HumanLanguage) Merge.kif 1495-1495
(subclass NaturalLanguage HumanLanguage) Merge.kif 1487-1487
(subclass SpokenHumanLanguage HumanLanguage) Merge.kif 1501-1501
(subclass WrittenHumanLanguage HumanLanguage) Merge.kif 1518-1518
(termFormat ChineseLanguage HumanLanguage "人类语言") chinese_format.kif 843-843
(termFormat EnglishLanguage HumanLanguage "human language") english_format.kif 888-888
(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 53-53
(termFormat JapaneseLanguage HumanLanguage "人間の言語") japanese_format.kif 2204-2204
(termFormat PortugueseLanguage HumanLanguage "Linguagem Humana") portuguese_format.kif 471-471
(termFormat cb HumanLanguage "tawhanong pinulongan") terms-cb.txt 55-55
(termFormat cz HumanLanguage "human language") terms-cz.txt 86-86
(termFormat de HumanLanguage "menschliche Sprache") terms-de.txt 345-345
(termFormat ro HumanLanguage "limbaj uman") relations-ro.kif 540-540
(termFormat tg HumanLanguage "wika ng tao") terms-tg.txt 54-54

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


(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1416-1416
(domain documentation 2 HumanLanguage) Merge.kif 363-363
(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 1463-1468

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


(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (or
        (instance ?X HumanLanguage)
        (instance ?X
            (subclass ?CLASS HumanLanguage))))
Languages.kif 14705-14709


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 3.0 is open source software produced by Articulate Software and its partners