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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MississippiRiver

 Sigma KEE - MississippiRiver
MississippiRiver
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 744-744 MississippiRiver est connect� � GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 741-743
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5145-5145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5359-5359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5357-5357
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5360-5360
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5356-5356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5358-5358
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 739-739 MississippiRiver est une instance de River
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 740-740 MississippiRiver est une partie de UnitedStates

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4242-4242 RedRiver est une partie de MississippiRiver
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38049-38049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38048-38048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38047-38047


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