Minnesota - Sigma Knowledge base Browser

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 e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1003-1003	Minnesota encontra Canada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1006-1006	Minnesota encontra Iowa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1004-1004	Minnesota encontra NorthDakota
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1005-1005	Minnesota encontra SouthDakota

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 786-786	capitalCity SaintPaulMinnesota and Minnesota
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1151-1151	Wisconsin encontra Minnesota
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 737-737	MinneapolisMinnesota e' uma &parte de 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