HebronWestBank - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1789-1789
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3522-3522
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3524-3524
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3523-3523
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3333-3333
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2917-2917	Hebron west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1788-1788	Hebron west bank is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2918-2918	Hebron west bank has name "Hebron"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27873-27873
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27872-27872
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27871-27871