No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1771-1771 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3515-3515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3331-3331 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3514-3514 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3511-3511 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3510-3510 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3513-3513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3512-3512 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2899-2899 |
漢堡德國 是 德國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1770-1770 |
例 漢堡德國 and City |