No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1819-1819 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4749-4749 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5004-5004 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5001-5001 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5002-5002 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2959-2959 |
geographicSubregion IzmirTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1818-1818 |
IzmirTurkey est une instance de ville |