Minnesota
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1007-1007 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 596-596 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1002-1002 | 例 明尼蘇達 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1003-1003 | 空間的符合 明尼蘇達 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1006-1006 | 空間的符合 明尼蘇達 and Iowa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1004-1004 | 空間的符合 明尼蘇達 and 北達科他州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1005-1005 | 空間的符合 明尼蘇達 and SouthDakota |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 786-786 | 明尼蘇達 是 聖保羅明尼蘇達州 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1151-1151 | 空間的符合 Wisconsin and 明尼蘇達 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 737-737 | 部分 明尼阿波利斯明尼蘇達州 and 明尼蘇達 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37943-37943 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37942-37942 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37941-37941 |