UnitedKingdom
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2887-2887 | British pound is a currency type of united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 365-366 | |
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 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3631-3631 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3633-3633 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3632-3632 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3638-3638 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3634-3634 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3637-3637 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3386-3386 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3636-3636 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3630-3630 | |
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 1443-1443 | 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 4728-4728 | 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 2701-2701 | "GB" in ISO-3166-1-alpha-2 denotes united kingdom |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 521-523 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3221-3221 | United kingdom is not a member of european monetary union |