PanamaCityPanama - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2184-2184
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5415-5415
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5416-5416
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5414-5414
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5418-5418
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5413-5413
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5417-5417
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5419-5419
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3375-3375	Panama city panama is a geographic subregion of panama
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2183-2183	Panama city panama is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3376-3376	Panama city panama has name "Panama City"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44208-44208
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44207-44207
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44206-44206