No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 966-966 |
空間的符合 肯塔基 and 田納西 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1065-1065 |
空間的符合 北卡羅來納 and 田納西 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1136-1136 |
空間的符合 弗吉尼亞州 and 田納西 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 733-733 |
部分 孟菲斯田納西州 and 田納西 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 753-753 |
部分 納什維爾田納西州 and 田納西 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57494-57494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57493-57493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57492-57492 |
|