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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthKorea

Sigma KEE - SouthKorea
SouthKorea(south korea)
Republic_of_Korea, South_Korea

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


(currencyType SouthKorea SouthKoreanWon) Economy.kif 3471-3471 South korean won is a currency type of south korea
(documentation SouthKorea EnglishLanguage "The Nation of SouthKorea.") CountriesAndRegions.kif 1351-1351
(economyType SouthKorea AdvancedEconomy) Economy.kif 550-550 Advanced economy is an economy type of south korea
(economyType SouthKorea FourDragonsEconomy) Economy.kif 376-376 Four dragons economy is an economy type of south korea
(externalImage SouthKorea "http://articulatesoftware.com/SUMOpictures/flags/ Countries/ S/ south_korea.png") pictureList.kif 749-749
(geographicSubregion SouthKorea EasternAsia) CountriesAndRegions.kif 553-553 South korea is a geographic subregion of eastern asia
(instance SouthKorea Nation) CountriesAndRegions.kif 554-554 South korea is an instance of nation

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


(geographicSubregion SeoulSouthKorea SouthKorea) CountriesAndRegions.kif 3509-3509 Seoul south korea is a geographic subregion of south korea
(names "SouthKorea" SouthKorea) CountriesAndRegions.kif 4152-4152 South korea has name "SouthKorea"
(termFormat ChineseLanguage SouthKorea "韩国") domainEnglishFormat.kif 54300-54300
(termFormat ChineseTraditionalLanguage SouthKorea "韓國") domainEnglishFormat.kif 54299-54299
(termFormat EnglishLanguage SouthKorea "south korea") domainEnglishFormat.kif 54298-54298

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


(codeMapping ISO-3166-1-alpha-2 "KR" SouthKorea) Media.kif 2736-2736 "KR" in ISO-3166-1-alpha-2 denotes south korea


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