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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Denmark

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

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1224-1224
No TPTP formula. May not be expressible in strict first order. Economy.kif 539-539 Advanced economy is an economy type of denmark
No TPTP formula. May not be expressible in strict first order. Economy.kif 152-152 Developed country is an economy type of denmark
No TPTP formula. May not be expressible in strict first order. pictureList.kif 385-385
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 315-315 Denmark is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 316-316 Denmark is an instance of european nation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 844-844 Denmark is a capital city of copenhagen denmark
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3768-3768 Faroe islands is a dependent of denmark
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3780-3780 Greenland is a dependent of denmark
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2748-2748 Copenhagen denmark is a geographic subregion of denmark
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4035-4035 Denmark has name "Denmark"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19038-19038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19037-19037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19036-19036

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2687-2687 "DK" in ISO-3166-1-alpha-2 denotes denmark

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 Denmark is not a member of european monetary union


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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