No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2884-2902 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2930-2948 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2957-2973 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2909-2921 |
|