(subclass MechanicalJoint EngineeringComponent) | Cars.kif 1376-1376 | Mechanical joint is a subclass of engineering component |
(subclass BallJoint MechanicalJoint) | Cars.kif 1364-1364 | Ball joint is a subclass of mechanical joint |
(subclass Hinge MechanicalJoint) | Cars.kif 1374-1374 | Hinge is a subclass of mechanical joint |
(subclass Bearing MechanicalJoint) | Cars.kif 1399-1399 | Bearing is a subclass of mechanical joint |
(subclass CVJoint MechanicalJoint) | Cars.kif 2107-2107 | C.V. joint is a subclass of mechanical joint |
(subclass UniversalJoint MechanicalJoint) | Cars.kif 4229-4229 | Universal joint is a subclass of mechanical joint |