UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4695-4695 | headquartersOfOrganization RoverGroup and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4061-4061 | UnitedKingdom se chama nome "Great Britain" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4059-4059 | UnitedKingdom se chama nome "United Kingdom of Great Britain and Northern Ireland" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4060-4060 | UnitedKingdom se chama nome "United Kingdom" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 799-799 | Scotland e' uma &parte de UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6970-6970 | primaryGeopoliticalSubdivision England and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6969-6969 | primaryGeopoliticalSubdivision NorthernIreland and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6968-6968 | primaryGeopoliticalSubdivision Scotland and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6971-6971 | primaryGeopoliticalSubdivision Wales and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60052-60052 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60051-60051 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60050-60050 |