UnitedKingdom![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(currencyType UnitedKingdom BritishPound) | Economy.kif 3224-3224 | |
(documentation UnitedKingdom EnglishLanguage "The Nation comprising England, Scotland, Wales, and Northern Ireland.") | CountriesAndRegions.kif 365-366 | |
(economyType UnitedKingdom AdvancedEconomy) | Economy.kif 561-561 | |
(economyType UnitedKingdom DevelopedCountry) | Economy.kif 179-179 | |
(externalImage UnitedKingdom "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ U/ United_Kingdom.png") | pictureList.kif 812-812 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Uk_map.svg") | pictureList.kif 3630-3630 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Westminster_palace.jpg") | pictureList.kif 3632-3632 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ Edinburgh_Scottish_Parliament01_2006-04-29.jpg") | pictureList.kif 3631-3631 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5a/ George_III_of_the_United_Kingdom_e.jpg") | pictureList.kif 3637-3637 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Elizabeth_II_greets_NASA_GSFC_employees%2C_May_8%2C_2007_edit.jpg") | pictureList.kif 3633-3633 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Ei_map.svg") | pictureList.kif 3636-3636 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Location_Great_Britan_and_Ireland.PNG") | pictureList.kif 3385-3385 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Flag_of_the_United_Kingdom.svg") | pictureList.kif 3635-3635 | |
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ Nelson%27s_Column_Looking_Towards_Westminster_-_Trafalgar_Square_-_London_-_240404.jpg") | pictureList.kif 3629-3629 | |
(geographicSubregion UnitedKingdom WesternEurope) | CountriesAndRegions.kif 363-363 | |
(instance UnitedKingdom EuropeanNation) | CountriesAndRegions.kif 364-364 | |
(leaderPosition UnitedKingdom PrimeMinister) | Government.kif 1405-1405 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(codeMapping ISO_3166_1_alpha_2 "GB" UnitedKingdom) | Media.kif 2703-2703 |
consequent |
![]() |
(=> (instance ?AREA BritishCrownColony) (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony)) |
Government.kif 485-487 |
statement |
![]() |
(not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3182-3182 |
![]() |
![]() |