No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 953-953 |
Indiana 接上 伊利诺伊 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 968-968 |
肯塔基 接上 伊利诺伊 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 998-998 |
密歇根州 接上 伊利诺伊 |
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 1611-1611 |
芝加哥美国 是 伊利诺伊 的 part |
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 |
|