|
|
   TieRod
|
|
|
| appearance as argument number 1 |
|
|
| 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 | 子類 TieRod and Rod |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4136-4136 | TieRod typically 是 汽車 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4137-4137 | 汽車 typically 有 part TieRod |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4132-4132 |
|
|
|
