HaderaIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1767-1767
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3505-3505
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3329-3329
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2895-2895	geographicSubregion HaderaIsrael and Israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1766-1766	HaderaIsrael e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2896-2896	HaderaIsrael se chama nome "Hadera"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27174-27174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27173-27173
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27172-27172