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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanMiguelElSalvador
SanMiguelElSalvador(圣米格尔萨尔瓦多)

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


(documentation SanMiguelElSalvador EnglishLanguage "The City of SanMiguel in ElSalvador.") CountriesAndRegions.kif 2284-2284
(externalImage SanMiguelElSalvador "http://upload.wikimedia.org/wikipedia/ en/ thumb/ 5/ 5e/ SV-San_Miguel.png/ 210px-SV-San_Miguel.png") pictureList.kif 1362-1362
(geographicSubregion SanMiguelElSalvador ElSalvador) CountriesAndRegions.kif 3482-3482 圣米格尔萨尔瓦多萨尔瓦多geographic 次要地区
(instance SanMiguelElSalvador City) CountriesAndRegions.kif 2283-2283 圣米格尔萨尔瓦多城市instance

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


(names "San Miguel" SanMiguelElSalvador) CountriesAndRegions.kif 3483-3483 圣米格尔萨尔瓦多 的名 是 "San Miguel"
(termFormat ChineseLanguage SanMiguelElSalvador "圣米格尔萨尔瓦多") domainEnglishFormat.kif 51165-51165
(termFormat ChineseTraditionalLanguage SanMiguelElSalvador "聖米格爾薩爾瓦多") domainEnglishFormat.kif 51164-51164
(termFormat EnglishLanguage SanMiguelElSalvador "san miguel el salvador") domainEnglishFormat.kif 51163-51163


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