| (subclass DcMotor ElectricalMotor) | engineering.kif 800-800 | DcMotor は ElectricalMotor の subclass では %n |
| (subclass PermanentMagnetDcMotor DcMotor) | engineering.kif 805-805 | PermanentMagnetDcMotor は DcMotor の subclass では %n |
| (subclass SeparatelyExcitedDcMotor DcMotor) | engineering.kif 810-810 | SeparatelyExcitedDcMotor は DcMotor の subclass では %n |
|
|