(subclass ElectricalResonance Resonance) | engineering.kif 658-658 | ElectricalResonance は Resonance の subclass では %n |
(subclass ElectricalResonance ElectricalProcess) | engineering.kif 659-659 | ElectricalResonance は ElectricalProcess の subclass では %n |
(subclass SeriesResonance ElectricalResonance) | engineering.kif 663-663 | SeriesResonance は ElectricalResonance の subclass では %n |
(subclass ParallelResonance ElectricalResonance) | engineering.kif 667-667 | ParallelResonance は ElectricalResonance の subclass では %n |