| 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 德国 是 城市 的 instance |
MunchenGladbachGermany
