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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UtoAztecanLanguage

 Sigma KEE - UtoAztecanLanguage
UtoAztecanLanguage(uto aztecan language)
more pictures...		Aztecan, Cahita, Comanche, Hopi, Nahuatl, Paiute, Pima, Shoshone, Shoshonean, Shoshonean_language, Shoshonian, Shoshonian_language, Tatahumara, Ute, Uto-Aztecan, Uto-Aztecan_language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13578-13580
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12136-12136
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10330-10330
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12139-12139
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12138-12138
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12140-12140
No TPTP formula. May not be expressible in strict first order. Languages.kif 13577-13577 Uto aztecan language is a subclass of spoken human language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61100-61100
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61099-61099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61098-61098


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