(subclass DcMotor ElectricalMotor) | engineering.kif 800-800 | Dc motor is a subclass of electrical motor |
(subclass PermanentMagnetDcMotor DcMotor) | engineering.kif 805-805 | Permanent magnet dc motor is a subclass of dc motor |
(subclass SeparatelyExcitedDcMotor DcMotor) | engineering.kif 810-810 | Separately excited dc motor is a subclass of dc motor |