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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CostaRica

Sigma KEE - CostaRica
CostaRica

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


(currencyType CostaRica CostaRicanColon) Economy.kif 3085-3085
(documentation CostaRica EnglishLanguage "The Nation of CostaRica.") CountriesAndRegions.kif 1217-1217
(economyType CostaRica DevelopingCountry) Economy.kif 637-637
(economyType CostaRica LessDevelopedCountry) Economy.kif 253-253
(externalImage CostaRica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ C/ Costa_Rica.png") pictureList.kif 370-370
(geographicSubregion CostaRica MiddleAmerica) CountriesAndRegions.kif 474-474
(instance CostaRica Nation) CountriesAndRegions.kif 475-475

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


(geographicSubregion SanJoseCostaRica CostaRica) CountriesAndRegions.kif 3478-3478
(names "Costa Rica" CostaRica) CountriesAndRegions.kif 4114-4114
(termFormat ChineseLanguage CostaRica "哥斯达黎加") domainEnglishFormat.kif 17476-17476
(termFormat ChineseTraditionalLanguage CostaRica "哥斯達黎加") domainEnglishFormat.kif 17475-17475
(termFormat EnglishLanguage CostaRica "costa rica") domainEnglishFormat.kif 17474-17474

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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