No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2025-2025 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5768-5768 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5769-5769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5642-5642 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3200-3200 |
马尔马里斯土耳其 是 火鸡 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2024-2024 |
马尔马里斯土耳其 是 城市 的 instance |