UnitedKingdom(united kingdom) |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4710-4710 | The headquarters of Rover group is in united kingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4061-4061 | United kingdom has name "Great Britain" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4059-4059 | United kingdom has name "United Kingdom of Great Britain and Northern Ireland" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4060-4060 | United kingdom has name "United Kingdom" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 799-799 | Scotland is a part of united kingdom |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6970-6970 | United kingdom is a primary geopolitical subdivision of England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6969-6969 | United kingdom is a primary geopolitical subdivision of northern ireland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6968-6968 | United kingdom is a primary geopolitical subdivision of scotland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6971-6971 | United kingdom is a primary geopolitical subdivision of Wales |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60050-60050 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60049-60049 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60048-60048 |