HaifaIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1769-1769
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3509-3509
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3506-3506
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3330-3330
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3507-3507
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2897-2897	geographicSubregion HaifaIsrael and Israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1768-1768	HaifaIsrael e' uma instancia de PortCity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2898-2898	HaifaIsrael se chama nome "Haifa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27186-27186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27185-27185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27184-27184