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	Holon junction israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2932-2932	Holon junction israel is an instance of geographic area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2934-2934	Holon junction israel has name "Holon Junction"
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