No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2320-2320 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5175-5175 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5506-5506 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3521-3521 |
geographicSubregion ShimiEcuador and Ecuador |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2319-2319 |
ShimiEcuador est une instance de ville |