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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CabindaAngola
CabindaAngola(cabinda angola)

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


(documentation CabindaAngola EnglishLanguage "The City of Cabinda in Angola.") CountriesAndRegions.kif 1581-1581
(externalImage CabindaAngola "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 45/ Angola_map.png/ 180px-Angola_map.png") pictureList.kif 1317-1317
(geographicSubregion CabindaAngola Angola) CountriesAndRegions.kif 2689-2689 Cabinda angola is a geographic subregion of angola
(instance CabindaAngola City) CountriesAndRegions.kif 1580-1580 Cabinda angola is an instance of city

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


(names "Cabinda" CabindaAngola) CountriesAndRegions.kif 2690-2690 Cabinda angola has name "Cabinda"
(termFormat ChineseLanguage CabindaAngola "cabinda 安哥拉") domainEnglishFormat.kif 12587-12587 Cabinda angola has name "Cabinda"
(termFormat ChineseTraditionalLanguage CabindaAngola "cabinda 安哥拉") domainEnglishFormat.kif 12586-12586 Cabinda angola has name "Cabinda"
(termFormat EnglishLanguage CabindaAngola "cabinda angola") domainEnglishFormat.kif 12585-12585 Cabinda angola has name "Cabinda"


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