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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NaturalLanguage
NaturalLanguage(natural language)
more pictures...
Abnaki, Abor, Akan, Akha, Algonkian, Algonkin, Algonquian, Algonquian_language, Algonquin, American-Indian_language, American_Indian, Amerind, Amerindian_language, Apache, Arapaho, Arapahoe, Athabascan, Athabaskan, Athapascan, Athapaskan, Athapaskan_language, Balto-Slavic, Balto-Slavic_language, Balto-Slavonic, Bantoid_language, Bantu, Barish, Basuto, Blackfoot, Bodo-Garo, Cassite, Caucasian, Caucasian_language, Chaga, Chagga, Chemakuan, Chemakum, Cheyenne, ChiMwini, Chin, Chipewyan, Chippewa, Chippewaian, Chippewyan, Chiricahua_Apache, Chishona, Chukchi, Chukchi_language, Coptic, Dafla...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1671-1673
No TPTP formula. May not be expressible in strict first order. Merge.kif 1364-1368
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9476-9476
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9471-9471
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9470-9470
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9469-9469
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9474-9474
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8613-8613
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9475-9475
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9472-9472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9473-9473
No TPTP formula. May not be expressible in strict first order. Merge.kif 1362-1362 Natural language is a subclass of human language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1417-1417 English language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12702-12702 French language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12707-12707 German language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12712-12712 Greek language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12716-12716 Latin language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12721-12721 Russian language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12725-12725 Spanish language is an instance of natural language
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. chinese_format.kif 845-845
No TPTP formula. May not be expressible in strict first order. english_format.kif 897-897

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17093-17093 The number 2 argument of nounGender is an instance of natural language


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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