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 12571-12571
(termFormat ChineseTraditionalLanguage CabindaAngola "cabinda 安哥拉") domainEnglishFormat.kif 12570-12570
(termFormat EnglishLanguage CabindaAngola "cabinda angola") domainEnglishFormat.kif 12569-12569


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