MetullaIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2055-2055
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3351-3351
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3559-3559
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3558-3558
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3230-3230	Metulla israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2054-2054	Metulla israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3231-3231	Metulla israel has name "Metulla"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37379-37379
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37378-37378
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37377-37377