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	海法以色列是以色列的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1768-1768	例海法以色列 and 港口城市

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2898-2898	名 "Haifa" and 海法以色列
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