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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MississippiRiver
MississippiRiver(mississippi river)
more pictures...
Mississippi, Mississippi_River

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 744-744 Mississippi river is connected to Gulf of mexico
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 Mississippi river is an instance of river
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 740-740 Mississippi river is a part of united states

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4242-4242 Red river is a part of mississippi river
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 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