| (subclass Wrench Device) | Cars.kif 4145-4145 | Wrench est une sous-classe de appareil |
| (subclass TorqueWrench Wrench) | Cars.kif 4140-4140 | TorqueWrench est une sous-classe de Wrench |
| (subclass Ratchet Wrench) | Cars.kif 4921-4921 | Ratchet est une sous-classe de Wrench |
|
|