AntioquiaColombia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1439-1439
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5203-5203
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5204-5204
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5202-5202
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5099-5099
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2540-2540	Antioquia colombia is a geographic subregion of colombia panama
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1438-1438	Antioquia colombia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2541-2541	Antioquia colombia has name "Antioquia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7890-7890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7889-7889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7888-7888