No TPTP formula. May not be expressible in strict first order. | Cars.kif 1376-1376 | Mechanical joint is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1364-1364 | Ball joint is a subclass of mechanical joint |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1374-1374 | Hinge is a subclass of mechanical joint |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1399-1399 | Bearing is a subclass of mechanical joint |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2090-2090 | C.V. joint is a subclass of mechanical joint |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4214-4214 | Universal joint is a subclass of mechanical joint |