TrabzonTurkey - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2396-2396
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5807-5807
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5806-5806
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3609-3609	geographicSubregion TrabzonTurkey and Turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2395-2395	TrabzonTurkey est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3610-3610	TrabzonTurkey s'appele nom "Trabzon"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58714-58714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58713-58713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58712-58712