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	阿什多德以色列是以色列的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1456-1456	阿什多德以色列是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2559-2559	阿什多德以色列的名是 "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