ListFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 558-562 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2198-2207 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2161-2170 |
|