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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanLanguage
HumanLanguage(human language)
لُغَة إِنْسَانِيَّة, Linguagem_Humana, LinguaggioUmano, human_language, interlanguage, koine, langage_humain, lingua_franca, maanava_bhaashaa, tawhanong_pinulongan, wika_ng_tao, 人类语言

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1468-1468
No TPTP formula. May not be expressible in strict first order. Merge.kif 1466-1467
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9316-9316 "http://upload.wikimedia.org/wikipedia/commons/2/21/ Unua_Libro.jpg" is a URL depicting human language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9314-9314 "http://upload.wikimedia.org/wikipedia/commons/a/af/ Confusion_of_Tongues.png" is a URL depicting human language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9317-9317 "http://upload.wikimedia.org/wikipedia/commons/b/b5/ Languengl.gif" is a URL depicting human language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8531-8531 "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Caslon-schriftmusterblatt.jpeg" is a URL depicting human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1464-1464 Human language is exhaustively partitioned into natural language and constructed language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1465-1465 Human language is exhaustively partitioned into spoken human language and manual human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1463-1463 Human language is a subclass of language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1477-1477 Constructed language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1508-1508 Manual human language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1498-1498 Natural language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1515-1515 Spoken human language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 843-843 "人类语言" is the printable form of human language in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 530-530 "human language" is the printable form of human language in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 519-519 "langage humain" is the printable form of human language in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 50-50 "maanava bhaashaa" is the printable form of human language in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 51-51 "LinguaggioUmano" is the printable form of human language in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 471-471 "Linguagem Humana" is the printable form of human language in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 255-255 "لُغَة إِنْسَانِيَّة" is the printable form of human language in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 55-55 "tawhanong pinulongan" is the printable form of human language in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 86-86 "human language" is the printable form of human language in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 54-54 "wika ng tao" is the printable form of human language in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1421-1421 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. Merge.kif 409-409 The number 2 argument of documentation is an instance of human language
No TPTP formula. May not be expressible in strict first order. emotion.kif 198-198 The number 1 argument of pastTense is an instance of human language
No TPTP formula. May not be expressible in strict first order. emotion.kif 191-191 The number 1 argument of utterance is an instance of human language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1470-1475