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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - KigaliRwanda
KigaliRwanda(kigali rwanda)Kigali, capital_of_Rwanda

appearance as argument number 1

(documentation KigaliRwanda EnglishLanguage "The City of Kigali in Rwanda.") CountriesAndRegions.kif 1913-1913
(geographicSubregion KigaliRwanda Rwanda) CountriesAndRegions.kif 3073-3073 Kigali rwanda is a geographic subregion of rwanda
(instance KigaliRwanda City) CountriesAndRegions.kif 1912-1912 Kigali rwanda is an instance of city

appearance as argument number 2

(names "Kigali" KigaliRwanda) CountriesAndRegions.kif 3074-3074 Kigali rwanda has name "Kigali"
(termFormat ChineseLanguage KigaliRwanda "基加利卢旺达") domainEnglishFormat.kif 32527-32527
(termFormat ChineseTraditionalLanguage KigaliRwanda "基加利盧旺達") domainEnglishFormat.kif 32526-32526
(termFormat EnglishLanguage KigaliRwanda "kigali rwanda") domainEnglishFormat.kif 32525-32525

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