No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1621-1621 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10619-10619 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10620-10620 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9939-9939 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2727-2727 |
geographicSubregion ChocoColombia and Colombia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1620-1620 |
ChocoColombia est une instance de ville |