No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2817-2836 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1112-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 922-936 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1041-1049 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 73-78 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2546-2561 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1000-1011 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 992-998 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 47-55 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3826-3842 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1016-1034 |
|