No TPTP formula. May not be expressible in strict first order. | Merge.kif 13842-13851 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13831-13840 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 |
![]() |