ComayaguaHonduras - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1635-1635
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5114-5114
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5231-5231
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5232-5232
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2744-2744	Comayagua honduras is a geographic subregion of honduras
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1634-1634	Comayagua honduras is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2745-2745	Comayagua honduras has name "Comayagua"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15714-15714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15713-15713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15712-15712