TreeView Knowledge Base Browser - HolonJunctionIsrael

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3532-3532
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3533-3533
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3531-3531
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3335-3335
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2933-2933	以色列的霍隆交界處是以色列的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2932-2932	例以色列的霍隆交界處 and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2934-2934	名 "Holon Junction" and 以色列的霍隆交界處
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28407-28407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28406-28406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28405-28405