|
|
  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 | 明尼苏达 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1003-1003 | 明尼苏达 接上 加拿大 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1006-1006 | 明尼苏达 接上 Iowa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1004-1004 | 明尼苏达 接上 北达科他州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1005-1005 | 明尼苏达 接上 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 接上 明尼苏达 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 737-737 | 明尼阿波利斯明尼苏达州 是 明尼苏达 的 part |
| 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 |
|
|
|
