| (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 |
|
|