No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2404-2404 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5808-5808 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5661-5661 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3620-3620 |
geographicSubregion TunceliTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2403-2403 |
TunceliTurkey est une instance de ville |