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 32561-32561 Kigali rwanda has name "Kigali"
(termFormat ChineseTraditionalLanguage KigaliRwanda "基加利盧旺達") domainEnglishFormat.kif 32560-32560 Kigali rwanda has name "Kigali"
(termFormat EnglishLanguage KigaliRwanda "kigali rwanda") domainEnglishFormat.kif 32559-32559 Kigali rwanda has name "Kigali"


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