Turkey(turkey) |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59534-59534 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59533-59533 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59532-59532 |