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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MississippiValleyLanguage

 Sigma KEE - MississippiValleyLanguage
MississippiValleyLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12712-12713
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8600-8600
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9433-9433
No TPTP formula. May not be expressible in strict first order. Languages.kif 12711-12711 MississippiValleyLanguage est une sous-classe de CentralSiouanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12717-12717 ChiwereLanguage est une sous-classe de MississippiValleyLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 12738-12738 DakotaGroupLanguage est une sous-classe de MississippiValleyLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 12812-12812 DhegihaLanguage est une sous-classe de MississippiValleyLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 12863-12863 WinnebagoLanguage est une sous-classe de MississippiValleyLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38055-38055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38054-38054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38053-38053


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