| Minnesota(minnesota)
| | Gopher_State, MN, Minnesota, North_Star_State |
| 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 | Minnesota is an instance of american state |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1003-1003 | Minnesota meets canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1006-1006 | Minnesota meets Iowa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1004-1004 | Minnesota meets north dakota |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1005-1005 | Minnesota meets South Dakota |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 786-786 | Minnesota is a capital city of saint paul minnesota |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1151-1151 | Wisconsin meets minnesota |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 737-737 | Minneapolis minnesota is a part of minnesota |
| 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 |
|
|
|