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 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1149-1149 |
空間的符合 Wisconsin and 伊利諾伊 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1150-1150 |
空間的符合 Wisconsin and Iowa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1151-1151 |
空間的符合 Wisconsin and 明尼蘇達 |