Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Denmark
Denmark(denmark)
Danmark, Denmark, Kingdom_of_Denmark

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


(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
(documentation Denmark EnglishLanguage "A Nation in scandinavian Europe.") CountriesAndRegions.kif 1224-1224 Denmark is an instance of european nation
(economyType Denmark DevelopedCountry) Economy.kif 152-152 Developed country is an economy type of denmark
(economyType Denmark AdvancedEconomy) Economy.kif 539-539 Advanced economy is an economy type of denmark
(externalImage Denmark "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ D/ Denmark.png") pictureList.kif 385-385 Advanced economy is an economy type of denmark

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
(names "Denmark" Denmark) CountriesAndRegions.kif 4035-4035 Denmark has name "Denmark"
(located AalborgAirport Denmark) WorldAirports.kif 49-49 Aalborg Airport is located at denmark
(located TirstrupAarhusAirport Denmark) WorldAirports.kif 73-73 Tirstrup Aarhus Airport is located at denmark
(located BillundAirport Denmark) WorldAirports.kif 3146-3146 Billund Airport is located at denmark
(located SindalAirport Denmark) WorldAirports.kif 5616-5616 Sindal Airport is located at denmark
(located KastrupKobenhavnCopenhagenAirport Denmark) WorldAirports.kif 5804-5804 Kastrup Kobenhavn Copenhagen Airport is located at denmark
(located EsbjergAirport Denmark) WorldAirports.kif 7810-7810 Esbjerg Airport is located at denmark
(located VagarFaroeIsAirport Denmark) WorldAirports.kif 8792-8792 Vagar Faroe Is Airport is located at denmark
(located KarupAirport Denmark) WorldAirports.kif 15696-15696 Karup Airport is located at denmark
(located BeldringeOdenseAirport Denmark) WorldAirports.kif 22087-22087 Beldringe Odense Airport is located at denmark
(located OttestrupSaebyFrederikshavnAirport Denmark) WorldAirports.kif 25293-25293 Ottestrup Saeby Frederikshavn Airport is located at denmark
(located RoskildeKobenhavnCopenhagenAirport Denmark) WorldAirports.kif 26528-26528 Roskilde Kobenhavn Copenhagen Airport is located at denmark
(located BornholmRonneRoenneAirport Denmark) WorldAirports.kif 26700-26700 Bornholm Ronne Roenne Airport is located at denmark
(located SonderborgSoenderborgAirport Denmark) WorldAirports.kif 27832-27832 Sonderborg Soenderborg Airport is located at denmark
(located VogensSkrydstrupAirport Denmark) WorldAirports.kif 28306-28306 Vogens Skrydstrup Airport is located at denmark
(located StauningAirport Denmark) WorldAirports.kif 29112-29112 Stauning Airport is located at denmark
(located ThistedAirport Denmark) WorldAirports.kif 30074-30074 Thisted Airport is located at denmark
(located VejleAirport Denmark) WorldAirports.kif 32528-32528 Vejle Airport is located at denmark
(termFormat EnglishLanguage Denmark "denmark") domainEnglishFormat.kif 19038-19038 Vejle Airport is located at denmark
(termFormat ChineseTraditionalLanguage Denmark "丹麥") domainEnglishFormat.kif 19039-19039 Vejle Airport is located at denmark
(termFormat ChineseLanguage Denmark "丹麦") domainEnglishFormat.kif 19040-19040 Vejle Airport is located at denmark

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


(codeMapping ISO_3166_1_alpha_2 "DK" Denmark) Media.kif 2634-2634 "DK" in ISO_3166_1_alpha_2 denotes denmark

statement
-------------------------


(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3211-3211 Denmark is not a member of european monetary union


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners