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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1437-1438
(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 " 2/ 21/ Unua_Libro.jpg") pictureList.kif 9312-9312
(externalImage HumanLanguage " a/ af/ Confusion_of_Tongues.png") pictureList.kif 9310-9310
(externalImage HumanLanguage " b/ b5/ Languengl.gif") pictureList.kif 9313-9313
(externalImage HumanLanguage " f/ fe/ Caslon-schriftmusterblatt.jpeg") pictureList.kif 8529-8529
(partition HumanLanguage NaturalLanguage ConstructedLanguage) Merge.kif 1434-1434 人类语言 详尽无遗地 partition自然语言人工语言
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1435-1435 人类语言 详尽无遗地 partition口语人类语言手动人类语言
(subclass HumanLanguage Language) Merge.kif 1433-1433 人类语言语言subclass

appearance as argument number 2

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


        (instance ?LANG HumanLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Human))
Merge.kif 1440-1445


    (codeMapping ISO-639-1 ?TOKEN ?X)
        (instance ?X HumanLanguage)
        (instance ?X
            (subclass ?CLASS 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