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洪都拉斯是洪都拉斯的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1634-1634	Comayagua洪都拉斯是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2745-2745	Comayagua洪都拉斯的名是 "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