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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ElSalvador

appearance as argument number 1

(currencyType ElSalvador ElSalvadoranColon) Economy.kif 3145-3145
(documentation ElSalvador EnglishLanguage "The Nation of ElSalvador.") CountriesAndRegions.kif 1232-1232
(economyType ElSalvador DevelopingCountry) Economy.kif 645-645
(economyType ElSalvador LessDevelopedCountry) Economy.kif 261-261
(externalImage ElSalvador " Country_Maps/ E/ El_Salvador.png") pictureList.kif 409-409
(geographicSubregion ElSalvador MiddleAmerica) CountriesAndRegions.kif 476-476
(instance ElSalvador Nation) CountriesAndRegions.kif 477-477

appearance as argument number 2

(geographicSubregion SanMiguelElSalvador ElSalvador) CountriesAndRegions.kif 3482-3482
(names "El Salvador" ElSalvador) CountriesAndRegions.kif 4115-4115
(termFormat ChineseLanguage ElSalvador "萨尔瓦多") domainEnglishFormat.kif 21870-21870
(termFormat ChineseTraditionalLanguage ElSalvador "薩爾瓦多") domainEnglishFormat.kif 21869-21869
(termFormat EnglishLanguage ElSalvador "el salvador") domainEnglishFormat.kif 21868-21868

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "SV" ElSalvador) Media.kif 2769-2769

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