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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanLanguage
HumanLanguage(human language)
human_language, interlanguage, koine, lingua_franca, 人类语言

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


(documentation HumanLanguage ChineseLanguage "这是 Human 所用 Languagesubclass 。") Merge.kif 1486-1486
(documentation HumanLanguage EnglishLanguage "The subclass of Languages used by Humans.") Merge.kif 1484-1485
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Unua_Libro.jpg") pictureList.kif 9316-9316 "http://upload.wikimedia.org/wikipedia/commons/2/21/ Unua_Libro.jpg" is a URL depicting human language
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Confusion_of_Tongues.png") pictureList.kif 9314-9314 "http://upload.wikimedia.org/wikipedia/commons/a/af/ Confusion_of_Tongues.png" is a URL depicting human language
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Languengl.gif") pictureList.kif 9317-9317 "http://upload.wikimedia.org/wikipedia/commons/b/b5/ Languengl.gif" is a URL depicting human language
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Caslon-schriftmusterblatt.jpeg") pictureList.kif 8531-8531 "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Caslon-schriftmusterblatt.jpeg" is a URL depicting human language
(partition HumanLanguage NaturalLanguage ConstructedLanguage) Merge.kif 1482-1482 Human language is exhaustively partitioned into natural language and constructed language
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1483-1483 Human language is exhaustively partitioned into spoken human language and manual human language
(subclass HumanLanguage Language) Merge.kif 1481-1481 Human language is a subclass of language

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


(subclass ConstructedLanguage HumanLanguage) Merge.kif 1495-1495 Constructed language is a subclass of human language
(subclass ManualHumanLanguage HumanLanguage) Merge.kif 1526-1526 Manual human language is a subclass of human language
(subclass NaturalLanguage HumanLanguage) Merge.kif 1516-1516 Natural language is a subclass of human language
(subclass SpokenHumanLanguage HumanLanguage) Merge.kif 1533-1533 Spoken human language is a subclass of human language
(termFormat ChineseLanguage HumanLanguage "人类语言") chinese_format.kif 843-843 "人类语言" is the printable form of human language in ChineseLanguage
(termFormat EnglishLanguage HumanLanguage "human language") english_format.kif 530-530 "human language" is the printable form of human language in english language

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


(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1439-1439 Language is disjointly decomposed into animal language, human language, and computer language
(domain documentation 2 HumanLanguage) Merge.kif 411-411 The number 2 argument of documentation is an instance of human language

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


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