No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2214-2214 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5450-5450 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5453-5453 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5161-5161 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5456-5456 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5451-5451 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5452-5452 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5457-5457 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5454-5454 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3405-3405 |
旁遮普巴基斯坦 是 巴基斯坦 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2213-2213 |
旁遮普巴基斯坦 是 城市 的 instance |