No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2794-2813 |
|
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 2523-2538 |
|
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 3803-3819 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1016-1034 |
|