PittsburghPennsylvania - Sigma Knowledge base Browser

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	匹兹堡宾夕法尼亚州是美国城市的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 766-766	匹兹堡宾夕法尼亚州是宾夕法尼亚的 part

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