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 | geographicSubregion BatmanTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1516-1516 | BatmanTurkey est une instance de ville |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2617-2617 | BatmanTurkey s'appele nom "Batman" |
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 |