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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1666-1666
No TPTP formula. May not be expressible in strict first order. Merge.kif 1335-1336
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9316-9316
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9314-9314
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9317-9317
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8531-8531
No TPTP formula. May not be expressible in strict first order. Merge.kif 1332-1332 Human language is exhaustively partitioned into natural language and constructed language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1333-1333 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 1331-1331 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 1345-1345 Constructed language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1370-1370 Manual human language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1362-1362 Natural language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1376-1376 Spoken human language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1393-1393 WrittenHumanLanguage is a subclass of human language
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 843-843
No TPTP formula. May not be expressible in strict first order. english_format.kif 893-893

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1291-1291 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 370-370 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 1338-1343