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 3800-3800 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 529-529 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 355-355 |
Jersey is a geographic subregion of western europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3892-3892 |
Jersey is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 345-345 |
Jersey is an instance of land area |