No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 767-769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5439-5439 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5441-5441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5436-5436 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5440-5440 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5438-5438 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 765-765 |
PittsburghPennsylvania est une instance de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 766-766 |
PittsburghPennsylvania est une partie de Pennsylvania |