No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1519-1519 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3419-3419 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3421-3421 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3302-3302 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3420-3420 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2620-2620 |
Be er sheva israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1518-1518 |
Be er sheva israel is an instance of city |