BethElIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1545-1545
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3308-3308
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3438-3438
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3439-3439
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2647-2647	Beth el israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1544-1544	Beth el israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2648-2648	Beth el israel has name "Beth El"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10877-10877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10876-10876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10875-10875