Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ElSalvador
ElSalvador(el salvador)
El_Salvador, Republic_of_El_Salvador, Salvador

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


(geographicSubregion ElSalvador MiddleAmerica) CountriesAndRegions.kif 476-476 El salvador is a geographic subregion of middle america
(instance ElSalvador Nation) CountriesAndRegions.kif 477-477 El salvador is an instance of nation
(documentation ElSalvador EnglishLanguage "The Nation of ElSalvador.") CountriesAndRegions.kif 1232-1232 El salvador is an instance of nation
(economyType ElSalvador LessDevelopedCountry) Economy.kif 261-261 Less developed country is an economy type of el salvador
(economyType ElSalvador DevelopingCountry) Economy.kif 645-645 Developing country is an economy type of el salvador
(currencyType ElSalvador ElSalvadoranColon) Economy.kif 3461-3461 El salvadoran colon is a currency type of el salvador
(externalImage ElSalvador "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ E/ El_Salvador.png") pictureList.kif 409-409 El salvadoran colon is a currency type of el salvador

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


(geographicSubregion SanMiguelElSalvador ElSalvador) CountriesAndRegions.kif 3483-3483 San miguel el salvador is a geographic subregion of el salvador
(names "El Salvador" ElSalvador) CountriesAndRegions.kif 4115-4115 El salvador has name "El Salvador"
(located InternacionalSanSalvadorAirport ElSalvador) WorldAirports.kif 27255-27255 Internacional San Salvador Airport is located at el salvador
(termFormat EnglishLanguage ElSalvador "el salvador") domainEnglishFormat.kif 21864-21864 Internacional San Salvador Airport is located at el salvador
(termFormat ChineseTraditionalLanguage ElSalvador "薩爾瓦多") domainEnglishFormat.kif 21865-21865 Internacional San Salvador Airport is located at el salvador
(termFormat ChineseLanguage ElSalvador "萨尔瓦多") domainEnglishFormat.kif 21866-21866 Internacional San Salvador Airport is located at el salvador

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


(codeMapping ISO_3166_1_alpha_2 "SV" ElSalvador) Media.kif 2716-2716 "SV" in ISO_3166_1_alpha_2 denotes el salvador


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