No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4141-4143 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4139-4139 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4138-4138 |
Tie rod is a subclass of rod |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4144-4144 |
A tie rod is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4145-4145 |
A automobile typically has a part tie rod |