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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ManaguaNigeria
ManaguaNigeria(managua nigeria)

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


(documentation ManaguaNigeria EnglishLanguage "The City of Managua in Nigeria.") CountriesAndRegions.kif 2007-2007
(externalImage ManaguaNigeria "http://upload.wikimedia.org/wikipedia/en/ thumb/ d/ db/ Carretera_a_Masaya.jpg/ 250px-Carretera_a_Masaya.jpg") pictureList.kif 1395-1395
(geographicSubregion ManaguaNigeria Nigeria) CountriesAndRegions.kif 3179-3179 Managua nigeria is a geographic subregion of nigeria
(instance ManaguaNigeria City) CountriesAndRegions.kif 2006-2006 Managua nigeria is an instance of city

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


(names "Managua" ManaguaNigeria) CountriesAndRegions.kif 3180-3180 Managua nigeria has name "Managua"
(termFormat ChineseLanguage ManaguaNigeria "马那瓜尼日利亚") domainEnglishFormat.kif 35933-35933
(termFormat ChineseTraditionalLanguage ManaguaNigeria "馬那瓜尼日利亞") domainEnglishFormat.kif 35932-35932
(termFormat EnglishLanguage ManaguaNigeria "managua nigeria") domainEnglishFormat.kif 35931-35931


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