JerusalemPalestine - Sigma Knowledge base Browser

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 是城市的 instance

appearance as argument number 2

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