BatmanTurkey
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1517-1517 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5599-5599 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2616-2616 | 蝙蝠俠火雞 是 火雞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1516-1516 | 例 蝙蝠俠火雞 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2617-2617 | 名 "Batman" and 蝙蝠俠火雞 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10188-10188 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10187-10187 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10186-10186 |