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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17460-17460
(termFormat ChineseTraditionalLanguage CostaRica "哥斯達黎加") domainEnglishFormat.kif 17459-17459
(termFormat EnglishLanguage CostaRica "costa rica") domainEnglishFormat.kif 17458-17458

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


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


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