No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1329-1329 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3599-3599 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3595-3595 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3374-3374 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3598-3598 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3597-3597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3596-3596 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1327-1327 |
罗兹 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1328-1328 |
罗兹 是 希腊 的 part |