Ingesting(ingesting) |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 292-292 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2441-2441 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 709-709 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 328-328 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 778-778 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 293-293 |