more pictures...
| UnitedKingdom
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2887-2887 | currencyType UnitedKingdom and BritishPound |
| 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 | economyType UnitedKingdom and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 179-179 | economyType UnitedKingdom and DevelopedCountry |
| 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 | geographicSubregion UnitedKingdom and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 364-364 | UnitedKingdom e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1443-1443 | leaderPosition UnitedKingdom and PrimeMinister |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4062-4062 | abbreviation "UK" and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 68-68 | capitalCity LondonUnitedKingdom and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3929-3929 | claimedTerritory Antarctica and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3728-3728 | dependentGeopoliticalArea Anguilla and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3738-3738 | dependentGeopoliticalArea Bermuda and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3742-3742 | dependentGeopoliticalArea BritishIndianOceanTerritory and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3744-3744 | dependentGeopoliticalArea BritishVirginIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3747-3747 | dependentGeopoliticalArea CaymanIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3750-3750 | dependentGeopoliticalArea ChannelIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3766-3766 | dependentGeopoliticalArea FalklandIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3776-3776 | dependentGeopoliticalArea Gibraltar and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3785-3785 | dependentGeopoliticalArea Guernsey and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3793-3793 | dependentGeopoliticalArea IsleOfMan and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3799-3799 | dependentGeopoliticalArea Jersey and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3815-3815 | dependentGeopoliticalArea Montserrat and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 756-756 | dependentGeopoliticalArea Palestine and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3831-3831 | dependentGeopoliticalArea PitcairnIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3836-3836 | dependentGeopoliticalArea SaintHelena and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3840-3840 | dependentGeopoliticalArea SouthGeorgiaAndTheSouthSandwichIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3848-3848 | dependentGeopoliticalArea TurksAndCaicosIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3130-3130 | geographicSubregion LockerbieUnitedKingdom and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3134-3134 | geographicSubregion LondonUnitedKingdom and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3183-3183 | geographicSubregion ManchesterUnitedKingdom and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4736-4736 | headquartersOfOrganization BritishSeagullCorp and UnitedKingdom |
| 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 | codeMapping ISO-3166-1-alpha-2, "GB" and UnitedKingdom |
| 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 | UnitedKingdom e' membro de EuropeanMonetaryUnion |
|
|
|