No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2396-2396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5807-5807 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5806-5806 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3609-3609 |
Trabzon turkey is a geographic subregion of turkey |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2395-2395 |
Trabzon turkey is an instance of city |