TreeView Knowledge Base Browser - PhiladelphiaPennsylvania

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	PhiladelphiaPennsylvania est une instance de AmericanCity
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 763-763	PhiladelphiaPennsylvania est une partie de Pennsylvania

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