TreeView Knowledge Base Browser - JerusalemPalestine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2980-2980	西方銀行是 JerusalemPalestine 的 capital 城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2982-2984
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2986-2988
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2979-2979	JerusalemPalestine 是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2991-2991	例 JerusalemPalestine and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2993-2993	名 "Jerusalem" and JerusalemPalestine
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2995-2995