| No TPTP formula. May not be expressible in strict first order. | engineering.kif 771-771 | Shaft e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 335-335 | Crankshaft e' uma sub-classe de Shaft |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1653-1653 | Camshaft e' uma sub-classe de Shaft |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2325-2325 | Driveshaft e' uma sub-classe de Shaft |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3988-3988 | SteeringColumn e' uma sub-classe de Shaft |
|
|