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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RuhengeriRwanda

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 50602-50602
(termFormat ChineseTraditionalLanguage RuhengeriRwanda "魯亨蓋里盧旺達") domainEnglishFormat.kif 50601-50601
(termFormat EnglishLanguage RuhengeriRwanda "ruhengeri rwanda") domainEnglishFormat.kif 50600-50600


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