CarmelIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1597-1597
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9923-9923
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10576-10576
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10577-10577
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10578-10578
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2705-2705	Carmel israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1596-1596	Carmel israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2706-2706	Carmel israel has name "Carmel"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13290-13290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13289-13289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13288-13288