more pictures...
| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3224-3224 | British pound is a currency type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 365-366 | British pound is a currency type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 561-561 | Advanced economy is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 179-179 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 812-812 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3630-3630 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3632-3632 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3631-3631 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3637-3637 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3633-3633 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3636-3636 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3385-3385 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3635-3635 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3629-3629 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 363-363 | United kingdom is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 364-364 | United kingdom is an instance of european nation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1405-1405 | Prime minister is a leader position of united kingdom |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4062-4062 | "UK" is an abbreviation of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 68-68 | United kingdom is a capital city of London |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3929-3929 | United kingdom is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3728-3728 | Anguilla is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3738-3738 | Bermuda is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3742-3742 | British indian ocean territory is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3744-3744 | British virgin islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3747-3747 | Cayman islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3750-3750 | Channel islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3766-3766 | Falkland islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3776-3776 | Gibraltar is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3785-3785 | Guernsey is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3793-3793 | Isle of man is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3799-3799 | Jersey is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3815-3815 | Montserrat is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 756-756 | Palestine is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3831-3831 | Pitcairn islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3836-3836 | Saint helena is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3840-3840 | South georgia and the south sandwich islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3848-3848 | Turks and caicos islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3130-3130 | Lockerbie united kingdom is a geographic subregion of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3134-3134 | London is a geographic subregion of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3183-3183 | Manchester united kingdom is a geographic subregion of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4789-4789 | The headquarters of British Seagull corp is in united kingdom |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2703-2703 | "GB" in ISO_3166_1_alpha_2 denotes united kingdom |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 485-487 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3182-3182 | United kingdom is not a member of european monetary union |
|
|
|