Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(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
(documentation CostaRica EnglishLanguage "The Nation of CostaRica.") CountriesAndRegions.kif 1217-1217 Costa rica is an instance of nation
(economyType CostaRica LessDevelopedCountry) Economy.kif 253-253 Less developed country is an economy type of costa rica
(economyType CostaRica DevelopingCountry) Economy.kif 637-637 Developing country is an economy type of costa rica
(currencyType CostaRica CostaRicanColon) Economy.kif 3417-3417 Costa rican colon is a currency type of costa rica
(externalImage CostaRica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ C/ Costa_Rica.png") pictureList.kif 370-370 Costa rican colon is a currency type of costa rica

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


(geographicSubregion SanJoseCostaRica CostaRica) CountriesAndRegions.kif 3479-3479 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"
(located BuenosAiresAirport CostaRica) WorldAirports.kif 2055-2055 Buenos Aires Airport is located at costa rica
(located BarraColoradoAirport CostaRica) WorldAirports.kif 2275-2275 Barra Colorado Airport is located at costa rica
(located CanasAirport CostaRica) WorldAirports.kif 6004-6004 Canas Airport is located at costa rica
(located GolfitoAirport CostaRica) WorldAirports.kif 10378-10378 Golfito Airport is located at costa rica
(located GuapilesAirport CostaRica) WorldAirports.kif 10670-10670 Guapiles Airport is located at costa rica
(located LasCanasAirport CostaRica) WorldAirports.kif 16506-16506 Las Canas Airport is located at costa rica
(located LimonAirport CostaRica) WorldAirports.kif 16921-16921 Limon Airport is located at costa rica
(located TomasGuardiaLiberiaAirport CostaRica) WorldAirports.kif 16933-16933 Tomas Guardia Liberia Airport is located at costa rica
(located LosChilesAirport CostaRica) WorldAirports.kif 17586-17586 Los Chiles Airport is located at costa rica
(located NicoyaAirport CostaRica) WorldAirports.kif 20823-20823 Nicoya Airport is located at costa rica
(located NosaraBeachAirport CostaRica) WorldAirports.kif 21376-21376 Nosara Beach Airport is located at costa rica
(located ElCocoSanJoseAirport CostaRica) WorldAirports.kif 22059-22059 El Coco San Jose Airport is located at costa rica
(located Coto47Airport CostaRica) WorldAirports.kif 22891-22891 Coto47 Airport is located at costa rica
(located PuertoJimenezAirport CostaRica) WorldAirports.kif 23850-23850 Puerto Jimenez Airport is located at costa rica
(located PlayaSamaraAirport CostaRica) WorldAirports.kif 23966-23966 Playa Samara Airport is located at costa rica
(located PalmarAirport CostaRica) WorldAirports.kif 24148-24148 Palmar Airport is located at costa rica
(located RioFrioAirport CostaRica) WorldAirports.kif 26330-26330 Rio Frio Airport is located at costa rica
(located CarrilloAirport CostaRica) WorldAirports.kif 26448-26448 Carrillo Airport is located at costa rica
(located JuanSantamariaInternationalSanJoseAirport CostaRica) WorldAirports.kif 28186-28186 Juan Santamaria International San Jose Airport is located at costa rica
(located SantaCruzAirport CostaRica) WorldAirports.kif 29678-29678 Santa Cruz Airport is located at costa rica
(located TamborAirport CostaRica) WorldAirports.kif 30744-30744 Tambor Airport is located at costa rica
(located TamarindoAirport CostaRica) WorldAirports.kif 30816-30816 Tamarindo Airport is located at costa rica
(located TortuqueroAirport CostaRica) WorldAirports.kif 31278-31278 Tortuquero Airport is located at costa rica

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(codeMapping ISO_3166_1_alpha_2 "CR" CostaRica) Media.kif 2627-2627 "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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners