RamatGanIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2230-2230
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5073-5073
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5071-5071
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4938-4938
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5072-5072
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3421-3421	Ramat gan israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2229-2229	Ramat gan israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3422-3422	Ramat gan israel has name "Ramat Gan"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48734-48734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48733-48733
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48732-48732