PhiladelphiaPennsylvania - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 764-764
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5434-5434
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5432-5432
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5435-5435
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5433-5433
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5429-5429
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5430-5430
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 762-762	费城宾夕法尼亚州是美国城市的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 763-763	费城宾夕法尼亚州是宾夕法尼亚的 part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45558-45558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45557-45557
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45556-45556