No TPTP formula. May not be expressible in strict first order. | Cars.kif 3467-3494 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3432-3461 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3374-3402 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3516-3537 |