MegidoIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2045-2045
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3556-3556
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3350-3350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3557-3557
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3220-3220	Megido israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2044-2044	Megido israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3221-3221	Megido israel has name "Megido"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36941-36941
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36940-36940
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36939-36939