| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4133-4135 |
|
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4131-4131 |
|
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4130-4130 |
Tie rod is a subclass of rod |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4136-4136 |
A tie rod is typically a part of a automobile |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4137-4137 |
A automobile typically has a part tie rod |
TieRod