No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2811-2830 |
|
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 2540-2555 |
|
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 3818-3834 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1016-1034 |
|