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	West bank is a capital city of Jerusalem Palestine
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	Jerusalem Palestine is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2991-2991	Jerusalem Palestine is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2993-2993	Jerusalem Palestine has name "Jerusalem"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2995-2995