TreeView Knowledge Base Browser - MinneapolisMinnesota

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 738-738
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5354-5354
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5144-5144
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5353-5353
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5352-5352
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5351-5351
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5350-5350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5349-5349
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 736-736	MinneapolisMinnesota est une instance de AmericanCity
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 737-737	MinneapolisMinnesota est une partie de Minnesota

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 787-787	SaintPaulMinnesota rencontre MinneapolisMinnesota
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37937-37937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37936-37936
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37935-37935