No TPTP formula. May not be expressible in strict first order. |
Cars.kif 509-521 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 463-475 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1314-1348 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 207-217 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 191-200 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 225-238 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 171-184 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 523-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 317-322 |
|