| NorthKorea(north korea)
| | D.P.R.K., DPRK, Democratic_People's_Republic_of_Korea, North_Korea |
| appearance as argument number 1 |
|
|
| (currencyType NorthKorea NorthKoreanWon) | Economy.kif 3583-3583 | North korean won is a currency type of north korea |
| (documentation NorthKorea EnglishLanguage "The Nation of NorthKorea.") | CountriesAndRegions.kif 1314-1314 | North korean won is a currency type of north korea |
| (externalImage NorthKorea "http://articulatesoftware.com/SUMOpictures/flags/ Countries/ N/ north_korea.png") | pictureList.kif 633-633 | North korean won is a currency type of north korea |
| (geographicSubregion NorthKorea EasternAsia) | CountriesAndRegions.kif 551-551 | North korea is a geographic subregion of eastern asia |
| (instance NorthKorea Nation) | CountriesAndRegions.kif 552-552 | North korea is an instance of nation |
| appearance as argument number 2 |
|
|
| (names "NorthKorea" NorthKorea) | CountriesAndRegions.kif 4151-4151 | North korea has name "NorthKorea" |
| (termFormat ChineseLanguage NorthKorea "北朝鲜") | domainEnglishFormat.kif 41224-41224 | North korea has name "NorthKorea" |
| (termFormat ChineseTraditionalLanguage NorthKorea "北朝鮮") | domainEnglishFormat.kif 41223-41223 | North korea has name "NorthKorea" |
| (termFormat EnglishLanguage NorthKorea "north korea") | domainEnglishFormat.kif 41222-41222 | North korea has name "NorthKorea" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "KP" NorthKorea) | Media.kif 2735-2735 | "KP" in ISO_3166_1_alpha_2 denotes north korea |
|
|
|