No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1409-1409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4486-4486 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3968-3968 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2510-2510 |
geographicSubregion AjaccioFrance and France |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1408-1408 |
AjaccioFrance est une instance de ville |