No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1693-1693 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3476-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3317-3317 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2813-2813 |
East jerusalem israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1692-1692 |
East jerusalem israel is an instance of city |