MakuLanguage
|
|
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 1407-1407 | 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 4713-4713 | 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 485-487 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3185-3185 | UnitedKingdom e' membro de EuropeanMonetaryUnion |