PantrasGreece - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2186-2186
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3367-3367
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3586-3586
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3583-3583
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3587-3587
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3377-3377	Pantras greece is a geographic subregion of greece
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2185-2185	Pantras greece is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3378-3378	Pantras greece has name "Pantras"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44250-44250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44249-44249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44248-44248