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 1360-1364
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 1358-1358 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 1412-1412 English language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12700-12700 French language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12705-12705 German language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12710-12710 Greek language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12714-12714 Latin language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12719-12719 Russian language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12723-12723 Spanish language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1328-1328 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 17088-17088 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