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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChineseTibetanMongolianMixedLanguage
ChineseTibetanMongolianMixedLanguage(chinese tibetan mongolian mixed language)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3337-3340
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10609-10609
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10607-10607
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10611-10611
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10610-10610
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10608-10608
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9936-9936
No TPTP formula. May not be expressible in strict first order. Languages.kif 3336-3336 Chinese tibetan mongolian mixed language is a subclass of mixed language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3343-3343 Wutunhua language is an instance of chinese tibetan mongolian mixed language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14550-14550
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14549-14549
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14548-14548


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