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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ZuluBantuMixedLanguage
ZuluBantuMixedLanguage(祖魯班圖語混合語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3451-3453
No TPTP formula. May not be expressible in strict first order. Languages.kif 3450-3450 子類 祖魯班圖語混合語言 and 混合語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3456-3456 camtho語言 and 祖魯班圖語混合語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64255-64255
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64254-64254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64253-64253


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