TunceliTurkey - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2404-2404
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5808-5808
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5661-5661
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3620-3620	geographicSubregion TunceliTurkey and Turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2403-2403	TunceliTurkey est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3621-3621	TunceliTurkey s'appele nom "Tunceli"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59458-59458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59457-59457
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59456-59456