No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1447-1447 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5100-5100 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5205-5205 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2548-2548 |
geographicSubregion AraucaColombia and ColombiaPanama |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1446-1446 |
AraucaColombia est une instance de ville |