No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1763-1763 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3327-3327 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3501-3501 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2890-2890 |
Gush etzion west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1762-1762 |
Gush etzion west bank is an instance of city |