BethlehemWestBank - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1547-1547
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3440-3440
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3309-3309
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3441-3441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3443-3443
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3442-3442
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2649-2649	geographicSubregion BethlehemWestBank and WestBank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1546-1546	BethlehemWestBank est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2650-2650	BethlehemWestBank s'appele nom "Bethlehem"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10883-10883
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10882-10882
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10881-10881