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 is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1149-1149 |
Wisconsin meets illinois |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1150-1150 |
Wisconsin meets Iowa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1151-1151 |
Wisconsin meets minnesota |