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 3508-3508
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.	pictureList.kif 3506-3506
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2897-2897	Haifa israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1768-1768	Haifa israel is an instance of port city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2898-2898	Haifa israel has name "Haifa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27214-27214	Haifa israel has name "Haifa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27213-27213	Haifa israel has name "Haifa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27212-27212	Haifa israel has name "Haifa"