No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1152-1152 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5584-5584 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5582-5582 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5583-5583 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5197-5197 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5579-5579 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1148-1148 |
Wisconsin 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1149-1149 |
Wisconsin 接上 伊利诺伊 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1150-1150 |
Wisconsin 接上 Iowa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1151-1151 |
Wisconsin 接上 明尼苏达 |