No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1513-1513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8969-8969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8371-8371 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8967-8967 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8968-8968 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2612-2612 |
Basra israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1512-1512 |
Basra israel is an instance of city |