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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RuhengeriRwanda
RuhengeriRwanda(ruhengeri rwanda)

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


(documentation RuhengeriRwanda EnglishLanguage "The City of Ruhengeri in Rwanda.") CountriesAndRegions.kif 2254-2254
(geographicSubregion RuhengeriRwanda Rwanda) CountriesAndRegions.kif 3450-3450 Ruhengeri rwanda is a geographic subregion of rwanda
(instance RuhengeriRwanda City) CountriesAndRegions.kif 2253-2253 Ruhengeri rwanda is an instance of city

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


(names "Ruhengeri" RuhengeriRwanda) CountriesAndRegions.kif 3451-3451 Ruhengeri rwanda has name "Ruhengeri"
(termFormat ChineseLanguage RuhengeriRwanda "鲁亨盖里卢旺达") domainEnglishFormat.kif 50600-50600
(termFormat ChineseTraditionalLanguage RuhengeriRwanda "魯亨蓋里盧旺達") domainEnglishFormat.kif 50599-50599
(termFormat EnglishLanguage RuhengeriRwanda "ruhengeri rwanda") domainEnglishFormat.kif 50598-50598


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