No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 953-953 |
Indiana meets illinois |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 968-968 |
Kentucky meets illinois |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 998-998 |
Michigan meets illinois |
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 1611-1611 |
Chicago united states is a part of illinois |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29295-29295 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29294-29294 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29293-29293 |
|