AshdodIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1457-1457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3293-3293
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3391-3391
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3393-3393
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3392-3392
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2558-2558	Ashdod israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1456-1456	Ashdod israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2559-2559	Ashdod israel has name "Ashdod"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8640-8640
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8639-8639
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8638-8638