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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanLanguage

Sigma KEE - HumanLanguage
HumanLanguage(human language)
interlanguage, koine, lingua_franca

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 1406-1407
(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 1403-1403 Human language is exhaustively partitioned into natural language and constructed language
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1404-1404 Human language is exhaustively partitioned into spoken human language and manual human language
(subclass HumanLanguage Language) Merge.kif 1402-1402 Human language is a subclass of language

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


(subclass ConstructedLanguage HumanLanguage) Merge.kif 1416-1416 Constructed language is a subclass of human language
(subclass ManualHumanLanguage HumanLanguage) Merge.kif 1441-1441 Manual human language is a subclass of human language
(subclass NaturalLanguage HumanLanguage) Merge.kif 1433-1433 Natural language is a subclass of human language
(subclass SpokenHumanLanguage HumanLanguage) Merge.kif 1447-1447 Spoken human language is a subclass of human language
(subclass WrittenHumanLanguage HumanLanguage) Merge.kif 1464-1464 Written human language is a subclass of human language
(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 1362-1362 Language is disjointly decomposed into animal language, human language, and computer language
(domain documentation 2 HumanLanguage) Merge.kif 370-370 The number 2 argument of documentation is an instance of human language
(domain pastTense 1 HumanLanguage) emotion.kif 198-198 The number 1 argument of past tense is an instance of human language
(domain utterance 1 HumanLanguage) emotion.kif 191-191 The number 1 argument of utterance is an instance of human language

antecedent
-------------------------


(=>
    (and
        (instance ?LANG HumanLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Human))
Merge.kif 1409-1414

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


(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (or
        (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