No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2188-2188 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5774-5774 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5649-5649 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5776-5776 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5775-5775 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5773-5773 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3379-3379 |
geographicSubregion PapayinColombia and Colombia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2187-2187 |
PapayinColombia est une instance de ville |