No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 953-953 |
空間的符合 Indiana and 伊利諾伊 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 968-968 |
空間的符合 肯塔基 and 伊利諾伊 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 998-998 |
空間的符合 密歇根州 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 1611-1611 |
部分 芝加哥美國 and 伊利諾伊 |
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 |
|