Pennsylvania - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1086-1087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 660-660
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1085-1085	Pennsylvania is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1090-1090	Pennsylvania meets canada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1089-1089	Pennsylvania meets ohio
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1088-1088	Pennsylvania meets West virginia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 921-921	Delaware meets pennsylvania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1044-1044	New jersey united states meets pennsylvania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1059-1059	New york state meets pennsylvania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 763-763	Philadelphia pennsylvania is a part of pennsylvania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 766-766	Pittsburgh pennsylvania is a part of pennsylvania
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45036-45036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45035-45035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45034-45034