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 |
伊兹密尔土耳其 是 火鸡 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1818-1818 |
伊兹密尔土耳其 是 城市 的 instance |