No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1491-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3410-3410 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3299-3299 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2590-2590 |
Baka al garbiyeh israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1490-1490 |
Baka al garbiyeh israel is an instance of city |