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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SouthKorea

appearance as argument number 1

(currencyType SouthKorea SouthKoreanWon) Economy.kif 3474-3474
(documentation SouthKorea EnglishLanguage "The Nation of SouthKorea.") CountriesAndRegions.kif 1351-1351
(economyType SouthKorea AdvancedEconomy) Economy.kif 545-545
(economyType SouthKorea FourDragonsEconomy) Economy.kif 376-376
(externalImage SouthKorea " pictures/ flags/ Countries/ S/ south_korea.png") pictureList.kif 749-749
(geographicSubregion SouthKorea EasternAsia) CountriesAndRegions.kif 553-553
(instance SouthKorea Nation) CountriesAndRegions.kif 554-554

appearance as argument number 2

(geographicSubregion SeoulSouthKorea SouthKorea) CountriesAndRegions.kif 3510-3510
(names "SouthKorea" SouthKorea) CountriesAndRegions.kif 4154-4154
(termFormat ChineseLanguage SouthKorea "韩国") domainEnglishFormat.kif 54279-54279
(termFormat ChineseTraditionalLanguage SouthKorea "韓國") domainEnglishFormat.kif 54278-54278
(termFormat EnglishLanguage SouthKorea "south korea") domainEnglishFormat.kif 54277-54277

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "KR" SouthKorea) Media.kif 2706-2706

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