Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
NorthKorea(north korea)
|  | D.P.R.K., DPRK, Democratic_People's_Republic_of_Korea, North_Korea |
| appearance as argument number 1 |
|
|
| (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 |
| (documentation NorthKorea EnglishLanguage "The Nation of NorthKorea.") | CountriesAndRegions.kif 1314-1314 | North korea is an instance of nation |
| (currencyType NorthKorea NorthKoreanWon) | Economy.kif 3705-3705 | 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 |
| appearance as argument number 2 |
|
|
| (names "NorthKorea" NorthKorea) | CountriesAndRegions.kif 4151-4151 | North korea has name "NorthKorea" |
| (located PyongyangAirport NorthKorea) | WorldAirports.kif 9324-9324 | Pyongyang Airport is located at north korea |
| (termFormat EnglishLanguage NorthKorea "north korea") | domainEnglishFormat.kif 41198-41198 | Pyongyang Airport is located at north korea |
| (termFormat ChineseTraditionalLanguage NorthKorea "北朝鮮") | domainEnglishFormat.kif 41199-41199 | Pyongyang Airport is located at north korea |
| (termFormat ChineseLanguage NorthKorea "北朝鲜") | domainEnglishFormat.kif 41200-41200 | Pyongyang Airport is located at north korea |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "KP" NorthKorea) | Media.kif 2682-2682 | "KP" in ISO_3166_1_alpha_2 denotes north korea |
|