No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13809-13818 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13798-13807 |