TreeView Knowledge Base Browser - TegucigalpaHonduras

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	geographicSubregion TegucigalpaHonduras and Honduras
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2364-2364	TegucigalpaHonduras est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3573-3573	TegucigalpaHonduras s'appele nom "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