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



KB Term:  Term intersection
English Word: 

  RedRiver

Sigma KEE - RedRiver
RedRiver(red river)
Red, Red_River

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


(instance RedRiver River) CountriesAndRegions.kif 4241-4241 Red river is an instance of river
(part RedRiver MississippiRiver) CountriesAndRegions.kif 4242-4242 Red river is a part of mississippi river
(part RedRiver UnitedStates) CountriesAndRegions.kif 4243-4243 Red river is a part of united states
(documentation RedRiver EnglishLanguage "A tributary of the Mississippi River.") CountriesAndRegions.kif 4244-4244 Red river is a part of united states
(externalImage RedRiver "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Red_watershed.png") pictureList.kif 5163-5163 Red river is a part of united states

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


(termFormat EnglishLanguage RedRiver "red river") domainEnglishFormat.kif 49059-49059
(termFormat ChineseTraditionalLanguage RedRiver "紅河") domainEnglishFormat.kif 49060-49060
(termFormat ChineseLanguage RedRiver "红河") domainEnglishFormat.kif 49061-49061


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners