| No TPTP formula. May not be expressible in strict first order. | engineering.kif 771-771 | Shaft est une sous-classe de composant d'un appareil |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 335-335 | Crankshaft est une sous-classe de Shaft |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1647-1647 | Camshaft est une sous-classe de Shaft |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2319-2319 | Driveshaft est une sous-classe de Shaft |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3980-3980 | SteeringColumn est une sous-classe de Shaft |
|
|