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 39443-39443
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39442-39442
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39441-39441


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