No TPTP formula. May not be expressible in strict first order. | engineering.kif 658-658 | 子類 電共振 and 諧振 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 659-659 | 子類 電共振 and 電氣過程 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 663-663 | 子類 串聯共振 and 電共振 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 667-667 | 子類 並聯共振 and 電共振 |