Transfer(转移) |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 749-749 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 334-334 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 368-368 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 818-818 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 333-333 |