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	例明尼阿波利斯明尼蘇達州 and 美國城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 737-737	部分明尼阿波利斯明尼蘇達州 and 明尼蘇達

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 787-787	空間的符合聖保羅明尼蘇達州 and 明尼阿波利斯明尼蘇達州
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