| Denmark(denmark)
| | Danmark, Denmark, Kingdom_of_Denmark |
| appearance as argument number 1 |
|
|
| (documentation Denmark EnglishLanguage "A Nation in scandinavian Europe.") | CountriesAndRegions.kif 1224-1224 | |
| (economyType Denmark AdvancedEconomy) | Economy.kif 539-539 | Advanced economy is an economy type of denmark |
| (economyType Denmark DevelopedCountry) | Economy.kif 152-152 | Developed country is an economy type of denmark |
| (externalImage Denmark "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ D/ Denmark.png") | pictureList.kif 385-385 | Developed country is an economy type of denmark |
| (geographicSubregion Denmark NorthernEurope) | CountriesAndRegions.kif 315-315 | Denmark is a geographic subregion of northern europe |
| (instance Denmark EuropeanNation) | CountriesAndRegions.kif 316-316 | Denmark is an instance of european nation |
| appearance as argument number 2 |
|
|
| (capitalCity CopenhagenDenmark Denmark) | CountriesAndRegions.kif 844-844 | Denmark is a capital city of copenhagen denmark |
| (dependentGeopoliticalArea FaroeIslands Denmark) | CountriesAndRegions.kif 3768-3768 | Faroe islands is a dependent of denmark |
| (dependentGeopoliticalArea Greenland Denmark) | CountriesAndRegions.kif 3780-3780 | Greenland is a dependent of denmark |
| (geographicSubregion CopenhagenDenmark Denmark) | CountriesAndRegions.kif 2748-2748 | Copenhagen denmark is a geographic subregion of denmark |
| (names "Denmark" Denmark) | CountriesAndRegions.kif 4035-4035 | Denmark has name "Denmark" |
| (termFormat ChineseLanguage Denmark "丹麦") | domainEnglishFormat.kif 19054-19054 | Denmark has name "Denmark" |
| (termFormat ChineseTraditionalLanguage Denmark "丹麥") | domainEnglishFormat.kif 19053-19053 | Denmark has name "Denmark" |
| (termFormat EnglishLanguage Denmark "denmark") | domainEnglishFormat.kif 19052-19052 | Denmark has name "Denmark" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "DK" Denmark) | Media.kif 2687-2687 | "DK" in ISO-3166-1-alpha-2 denotes denmark |
| statement |
|
|
| (not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3183-3183 | Denmark is not a member of european monetary union |
|
|
|