No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1525-1525 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3303-3303 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3422-3422 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3423-3423 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2624-2624 |
Beit el west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1524-1524 |
Beit el west bank is an instance of city |