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


KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedKingdom
UnitedKingdom(united kingdom)
more pictures...		Albion, Anglia, Britain, English, Great_Britain, U.K., UK, United_Kingdom, United_Kingdom_of_Great_Britain_and_Northern_Ireland

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


(geographicSubregion UnitedKingdom WesternEurope) CountriesAndRegions.kif 363-363 United kingdom is a geographic subregion of western europe
(instance UnitedKingdom EuropeanNation) CountriesAndRegions.kif 364-364 United kingdom is an instance of european nation
(documentation UnitedKingdom EnglishLanguage "The Nation comprising England, Scotland, Wales, and Northern Ireland.") CountriesAndRegions.kif 365-366 United kingdom is an instance of european nation
(economyType UnitedKingdom DevelopedCountry) Economy.kif 179-179 Developed country is an economy type of united kingdom
(economyType UnitedKingdom AdvancedEconomy) Economy.kif 561-561 Advanced economy is an economy type of united kingdom
(currencyType UnitedKingdom BritishPound) Economy.kif 3219-3219 British pound is a currency type of united kingdom
(leaderPosition UnitedKingdom PrimeMinister) Government.kif 1415-1415 Prime minister is a leader position of united kingdom
(externalImage UnitedKingdom "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ U/ United_Kingdom.png") pictureList.kif 812-812 Prime minister is a leader position of united kingdom
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Location_Great_Britan_and_Ireland.PNG") pictureList.kif 3385-3385 Prime minister is a leader position of united kingdom
(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 Prime minister is a leader position of united kingdom
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Uk_map.svg") pictureList.kif 3630-3630 Prime minister is a leader position of united kingdom
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ Edinburgh_Scottish_Parliament01_2006-04-29.jpg") pictureList.kif 3631-3631 Prime minister is a leader position of united kingdom
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Westminster_palace.jpg") pictureList.kif 3632-3632 Prime minister is a leader position of united kingdom
(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 Prime minister is a leader position of united kingdom
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Flag_of_the_United_Kingdom.svg") pictureList.kif 3635-3635 Prime minister is a leader position of united kingdom
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Ei_map.svg") pictureList.kif 3636-3636 Prime minister is a leader position of united kingdom
(externalImage UnitedKingdom "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5a/ George_III_of_the_United_Kingdom_e.jpg") pictureList.kif 3637-3637 Prime minister is a leader position of united kingdom

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


(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4804-4804 The headquarters of Rover group is in united kingdom
(headquartersOfOrganization BritishSeagullCorp UnitedKingdom) Cars.kif 4822-4822 The headquarters of British Seagull corp is in united kingdom
(capitalCity LondonUnitedKingdom UnitedKingdom) CountriesAndRegions.kif 68-68 United kingdom is a capital city of London
(dependentGeopoliticalArea Palestine UnitedKingdom) CountriesAndRegions.kif 756-756 Palestine is a dependent of united kingdom
(part Scotland UnitedKingdom) CountriesAndRegions.kif 799-799 Scotland is a part of united kingdom
(geographicSubregion LockerbieUnitedKingdom UnitedKingdom) CountriesAndRegions.kif 3135-3135 Lockerbie united kingdom is a geographic subregion of united kingdom
(geographicSubregion ManchesterUnitedKingdom UnitedKingdom) CountriesAndRegions.kif 3187-3187 Manchester united kingdom is a geographic subregion of united kingdom
(dependentGeopoliticalArea Anguilla UnitedKingdom) CountriesAndRegions.kif 3728-3728 Anguilla is a dependent of united kingdom
(dependentGeopoliticalArea Bermuda UnitedKingdom) CountriesAndRegions.kif 3738-3738 Bermuda is a dependent of united kingdom
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom) CountriesAndRegions.kif 3742-3742 British indian ocean territory is a dependent of united kingdom
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom) CountriesAndRegions.kif 3744-3744 British virgin islands is a dependent of united kingdom
(dependentGeopoliticalArea CaymanIslands UnitedKingdom) CountriesAndRegions.kif 3747-3747 Cayman islands is a dependent of united kingdom
(dependentGeopoliticalArea ChannelIslands UnitedKingdom) CountriesAndRegions.kif 3750-3750 Channel islands is a dependent of united kingdom
(dependentGeopoliticalArea FalklandIslands UnitedKingdom) CountriesAndRegions.kif 3766-3766 Falkland islands is a dependent of united kingdom
(dependentGeopoliticalArea Gibraltar UnitedKingdom) CountriesAndRegions.kif 3776-3776 Gibraltar is a dependent of united kingdom
(dependentGeopoliticalArea Guernsey UnitedKingdom) CountriesAndRegions.kif 3785-3785 Guernsey is a dependent of united kingdom
(dependentGeopoliticalArea IsleOfMan UnitedKingdom) CountriesAndRegions.kif 3793-3793 Isle of man is a dependent of united kingdom
(dependentGeopoliticalArea Jersey UnitedKingdom) CountriesAndRegions.kif 3799-3799 Jersey is a dependent of united kingdom
(dependentGeopoliticalArea Montserrat UnitedKingdom) CountriesAndRegions.kif 3815-3815 Montserrat is a dependent of united kingdom
(dependentGeopoliticalArea PitcairnIslands UnitedKingdom) CountriesAndRegions.kif 3831-3831 Pitcairn islands is a dependent of united kingdom
(dependentGeopoliticalArea SaintHelena UnitedKingdom) CountriesAndRegions.kif 3836-3836 Saint helena is a dependent of united kingdom
(dependentGeopoliticalArea SouthGeorgiaAndTheSouthSandwichIslands UnitedKingdom) CountriesAndRegions.kif 3840-3840 South georgia and the south sandwich islands is a dependent of united kingdom
(dependentGeopoliticalArea TurksAndCaicosIslands UnitedKingdom) CountriesAndRegions.kif 3848-3848 Turks and caicos islands is a dependent of united kingdom
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3929-3929 United kingdom is a claimed territory of antarctica
(names "United Kingdom of Great Britain and Northern Ireland" UnitedKingdom) CountriesAndRegions.kif 4059-4059 United kingdom has name "United Kingdom of Great Britain and Northern Ireland"

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (instance ?AREA BritishCrownColony)
    (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony))		 Government.kif 485-487 If X is an instance of british crown colony, then X dependent area of type united kingdom for british crown colony

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


(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3212-3212 United kingdom 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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners