TunceliTurkey
|
|
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 | Tunceli土耳其 是 火雞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2403-2403 | 例 tunceli土耳其 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3621-3621 | 名 "Tunceli" and tunceli土耳其 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59456-59456 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59455-59455 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59454-59454 |