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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CostaRica
CostaRica(costa rica)
Costa_Rica, Republic_of_Costa_Rica

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


(currencyType CostaRica CostaRicanColon) Economy.kif 3085-3085 Costa rican colon is a currency type of costa rica
(documentation CostaRica EnglishLanguage "The Nation of CostaRica.") CountriesAndRegions.kif 1217-1217 Costa rican colon is a currency type of costa rica
(economyType CostaRica DevelopingCountry) Economy.kif 637-637 Developing country is an economy type of costa rica
(economyType CostaRica LessDevelopedCountry) Economy.kif 253-253 Less developed country is an economy type of costa rica
(externalImage CostaRica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ C/ Costa_Rica.png") pictureList.kif 370-370 Less developed country is an economy type of costa rica
(geographicSubregion CostaRica MiddleAmerica) CountriesAndRegions.kif 474-474 Costa rica is a geographic subregion of middle america
(instance CostaRica Nation) CountriesAndRegions.kif 475-475 Costa rica is an instance of nation

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


(geographicSubregion SanJoseCostaRica CostaRica) CountriesAndRegions.kif 3478-3478 San jose costa rica is a geographic subregion of costa rica
(names "Costa Rica" CostaRica) CountriesAndRegions.kif 4114-4114 Costa rica has name "Costa Rica"
(termFormat ChineseLanguage CostaRica "哥斯达黎加") domainEnglishFormat.kif 17476-17476 Costa rica has name "Costa Rica"
(termFormat ChineseTraditionalLanguage CostaRica "哥斯達黎加") domainEnglishFormat.kif 17475-17475 Costa rica has name "Costa Rica"
(termFormat EnglishLanguage CostaRica "costa rica") domainEnglishFormat.kif 17474-17474 Costa rica has name "Costa Rica"

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


(codeMapping ISO-3166-1-alpha-2 "CR" CostaRica) Media.kif 2680-2680 "CR" in ISO-3166-1-alpha-2 denotes costa rica


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