BeitElWestBank - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1525-1525
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3303-3303
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3422-3422
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3423-3423
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2624-2624	Beit el west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1524-1524	Beit el 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 2625-2625	Beit el west bank has name "Beit El"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10583-10583
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10582-10582
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10581-10581