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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MuskogeeLanguage
MuskogeeLanguage(muskogee language)
Muskogee

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12344-12352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10137-10137
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11478-11478
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11477-11477
No TPTP formula. May not be expressible in strict first order. Languages.kif 12343-12343 Muskogee language is an instance of eastern muskogean language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39441-39441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39440-39440
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39439-39439


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