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
-------------------------


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 1390-1391
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9312-9312
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9310-9310
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9313-9313
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8529-8529
No TPTP formula. May not be expressible in strict first order. Merge.kif 1387-1387 Human language is exhaustively partitioned into natural language and constructed language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1388-1388 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 1386-1386 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 1400-1400 Constructed language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1425-1425 Manual human language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1417-1417 Natural language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1431-1431 Spoken human language is a subclass of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1448-1448 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 888-888

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1346-1346 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 368-368 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 1393-1398

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


No TPTP formula. May not be expressible in strict first order. 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