AskelonIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1459-1459
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3395-3395
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3294-3294
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2560-2560	Askelon israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1458-1458	Askelon israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2561-2561	Askelon israel has name "Askelon"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8682-8682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8681-8681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8680-8680