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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternMuskogeanLanguage

Sigma KEE - WesternMuskogeanLanguage
WesternMuskogeanLanguage(西方的muskogean語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12357-12358
No TPTP formula. May not be expressible in strict first order. Languages.kif 12356-12356 子類 西方的muskogean語言 and muskogean語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12380-12380 chickasaw 語 and 西方的muskogean語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 12361-12361 choctaw語言 and 西方的muskogean語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62825-62825
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62824-62824
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62823-62823


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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