TegucigalpaHonduras - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2365-2365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5526-5526
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5527-5527
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5528-5528
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3572-3572	特古西加尔巴洪都拉斯是洪都拉斯的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2364-2364	特古西加尔巴洪都拉斯是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3573-3573	特古西加尔巴洪都拉斯的名是 "Tegucigalpa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57223-57223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57222-57222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57221-57221