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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RedRiver
RedRiver

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


(documentation RedRiver EnglishLanguage "A tributary of the Mississippi River.") CountriesAndRegions.kif 4244-4244
(externalImage RedRiver "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Red_watershed.png") pictureList.kif 5164-5164
(instance RedRiver River) CountriesAndRegions.kif 4241-4241
(part RedRiver MississippiRiver) CountriesAndRegions.kif 4242-4242
(part RedRiver UnitedStates) CountriesAndRegions.kif 4243-4243

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


(termFormat ChineseLanguage RedRiver "红河") domainEnglishFormat.kif 49066-49066
(termFormat ChineseTraditionalLanguage RedRiver "紅河") domainEnglishFormat.kif 49065-49065
(termFormat EnglishLanguage RedRiver "red river") domainEnglishFormat.kif 49064-49064


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