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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MayanLanguage
MayanLanguage(mayan language)
more pictures...		Cakchiquel, Kekchi, Mam, Maya, Mayan, Mayan_language, Quiche, Yucatec, Yucateco

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12167-12169
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11410-11410
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11409-11409
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11411-11411
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10114-10114
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11407-11407
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11406-11406
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11408-11408
No TPTP formula. May not be expressible in strict first order. Languages.kif 12166-12166 Mayan 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 36617-36617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36616-36616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36615-36615


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