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	例匹茲堡賓夕法尼亞州 and 美國城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 766-766	部分匹茲堡賓夕法尼亞州 and 賓夕法尼亞

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