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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CabindaAngola
CabindaAngola

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 geographicSubregion CabindaAngola and Angola
(instance CabindaAngola City) CountriesAndRegions.kif 1580-1580 CabindaAngola都市instance では %n

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


(names "Cabinda" CabindaAngola) CountriesAndRegions.kif 2690-2690 CabindaAngola は "Cabinda" の name を 持って %n{ない}
(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