No TPTP formula. May not be expressible in strict first order. | Government.kif 2331-2338 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15431-15440 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12014-12026 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15400-15407 |