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土耳其 是 城市 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3621-3621 | Tunceli土耳其 的名 是 "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 |