No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 764-764 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5434-5434 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5432-5432 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5435-5435 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5433-5433 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5429-5429 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5430-5430 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 762-762 |
PhiladelphiaPennsylvania est une instance de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 763-763 |
PhiladelphiaPennsylvania est une partie de Pennsylvania |