Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass HumanLanguage Language) Merge.kif 1535-1535 Human language is a subclass of language
(partition HumanLanguage NaturalLanguage ConstructedLanguage) Merge.kif 1536-1536 Human language is exhaustively partitioned into natural language and constructed language
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1537-1537 Human language is exhaustively partitioned into spoken human language and manual human language
(documentation HumanLanguage EnglishLanguage "The subclass of Languages used by Humans.") Merge.kif 1539-1540 Human language is exhaustively partitioned into spoken human language and manual human language
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Caslon_schriftmusterblatt.jpeg") pictureList.kif 8527-8527 Human language is exhaustively partitioned into spoken human language and manual human language
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Confusion_of_Tongues.png") pictureList.kif 9308-9308 Human language is exhaustively partitioned into spoken human language and manual human language
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Unua_Libro.jpg") pictureList.kif 9310-9310 Human language is exhaustively partitioned into spoken human language and manual human language
(externalImage HumanLanguage "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Languengl.gif") pictureList.kif 9311-9311 Human language is exhaustively partitioned into spoken human language and manual human language

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


(subclass ConstructedLanguage HumanLanguage) Merge.kif 1549-1549 Constructed language is a subclass of human language
(subclass NaturalLanguage HumanLanguage) Merge.kif 1566-1566 Natural language is a subclass of human language
(subclass ManualHumanLanguage HumanLanguage) Merge.kif 1574-1574 Manual human language is a subclass of human language
(subclass SpokenHumanLanguage HumanLanguage) Merge.kif 1580-1580 Spoken human language is a subclass of human language
(subclass WrittenHumanLanguage HumanLanguage) Merge.kif 1597-1597 Written human language is a subclass of human language
(termFormat EnglishLanguage HumanLanguage "human language") english_format.kif 892-892 Written human language is a subclass of human language

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


(domain documentation 2 HumanLanguage) Merge.kif 362-362 The number 2 argument of documentation is an instance of human language
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1495-1495 Language is disjointly decomposed into animal language, human language, and computer language
(domain utterance 1 HumanLanguage) emotion.kif 171-171 The number 1 argument of utterance is an instance of human language
(domain pastTense 1 HumanLanguage) emotion.kif 178-178 The number 1 argument of past tense is an instance of human language

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


(=>
    (and
        (instance ?LANG HumanLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Human))		 Merge.kif 1542-1547 If X is an instance of human language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of human