No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 717-717 |
德國 是 柏林,德國 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 718-719 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3430-3430 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3433-3433 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3427-3427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3431-3431 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4547-4547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3437-3437 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3432-3432 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3428-3428 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3435-3435 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3429-3429 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3307-3307 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3436-3436 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2640-2640 |
柏林,德國 是 德國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 716-716 |
例 柏林,德國 and 歐洲城市 |