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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cuba
Cuba(cuba)
Cuba, Republic_of_Cuba

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


(currencyType Cuba CubanPeso) Economy.kif 3089-3089 Cuban peso is a currency type of cuba
(documentation Cuba EnglishLanguage "An Island Nation in the Carribbean.") CountriesAndRegions.kif 1220-1220
(externalImage Cuba "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ C/ Cuba.png") pictureList.kif 376-376
(geographicSubregion Cuba CaribbeanRegion) CountriesAndRegions.kif 437-437 Cuba is a geographic subregion of caribbean region
(instance Cuba Island) CountriesAndRegions.kif 439-439 Cuba is an instance of island
(instance Cuba Nation) CountriesAndRegions.kif 438-438 Cuba is an instance of nation

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


(geographicSubregion CopacaBanaCuba Cuba) CountriesAndRegions.kif 2746-2746 Copaca bana cuba is a geographic subregion of cuba
(geographicSubregion HavanaCuba Cuba) CountriesAndRegions.kif 2911-2911 Havana cuba is a geographic subregion of cuba
(names "Cuba" Cuba) CountriesAndRegions.kif 4093-4093 Cuba has name "Cuba"
(termFormat ChineseLanguage Cuba "古巴") domainEnglishFormat.kif 17970-17970
(termFormat ChineseTraditionalLanguage Cuba "古巴") domainEnglishFormat.kif 17969-17969
(termFormat EnglishLanguage Cuba "cuba") domainEnglishFormat.kif 17968-17968

appearance as argument number 3
-------------------------


(codeMapping ISO-3166-1-alpha-2 "CU" Cuba) Media.kif 2682-2682 "CU" in ISO-3166-1-alpha-2 denotes cuba


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