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	巴拿马城巴拿马是巴拿马的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2183-2183	巴拿马城巴拿马是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3376-3376	巴拿马城巴拿马的名是 "Panama City"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44210-44210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44209-44209
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44208-44208