No TPTP formula. May not be expressible in strict first order. | engineering.kif 800-800 | 子類 直流電動機 and 電動機 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 805-805 | 子類 永磁直流電動機 and 直流電動機 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 810-810 | 子類 單獨激勵直流電動機 and 直流電動機 |