No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1513-1513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8969-8969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8371-8371 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8967-8967 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8968-8968 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2612-2612 |
巴士拉以色列 是 以色列 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1512-1512 |
巴士拉以色列 是 城市 的 instance |