(subclass Gearbox EngineeringComponent) | engineering.kif 767-767 | Gearbox is a subclass of engineering component |
(subclass AutomobileTransmission Gearbox) | Cars.kif 2339-2339 | Transmission is a subclass of gearbox |
(subclass SteeringBox Gearbox) | Cars.kif 3963-3963 | Steering box is a subclass of gearbox |