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	capitalCity JerusalemPalestine and WestBank
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	geographicSubregion JerusalemPalestine and WestBank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2991-2991	JerusalemPalestine e' uma instancia de Cidade

appearance as argument number 2

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