No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1715-1715 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3320-3320 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3481-3481 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2835-2835 |
Emmanuel west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1714-1714 |
Emmanuel west bank is an instance of city |