| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2077-2077 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3567-3567 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3561-3561 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3354-3354 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3562-3562 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3563-3563 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3568-3568 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3570-3570 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3566-3566 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3564-3564 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3569-3569 |
|
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3260-3260 |
Munchen gladbach 德國 是 德國 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2076-2076 |
例 munchen gladbach 德國 and City |
MunchenGladbachGermany
