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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternMuskogeanLanguage

 Sigma KEE - WesternMuskogeanLanguage
WesternMuskogeanLanguage

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 WesternMuskogeanLanguage e' uma sub-classe de MuskogeanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12380-12380 ChickasawLanguage e' uma instancia de WesternMuskogeanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 12361-12361 ChoctawLanguage e' uma instancia de WesternMuskogeanLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62823-62823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62822-62822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62821-62821


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