No TPTP formula. May not be expressible in strict first order. | engineering.kif 800-800 | DcMotor est une sous-classe de ElectricalMotor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 805-805 | PermanentMagnetDcMotor est une sous-classe de DcMotor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 810-810 | SeparatelyExcitedDcMotor est une sous-classe de DcMotor |