MarSabaWestBank - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2019-2019
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3553-3553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3348-3348
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3552-3552
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3194-3194	Mar saba west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2018-2018	Mar saba 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 3195-3195	Mar saba west bank has name "Mar Saba"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36329-36329
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36328-36328
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36327-36327