No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 949-949 |
空間的符合 伊利諾伊 and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 958-958 |
空間的符合 Iowa and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 967-967 |
空間的符合 肯塔基 and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1108-1108 |
空間的符合 田納西 and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 728-728 |
部分 堪薩斯城密蘇里州 and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 783-783 |
部分 聖路易斯密蘇里州 and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38061-38061 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38060-38060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38059-38059 |
|