TreeView Knowledge Base Browser - PittsburghPennsylvania

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 767-769
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5439-5439
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5441-5441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5436-5436
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5440-5440
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5438-5438
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 765-765	Pittsburgh pennsylvania is an instance of american city
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 766-766	Pittsburgh pennsylvania is a part of pennsylvania

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45966-45966
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45965-45965
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45964-45964