(subclass ElectricalProcess NaturalProcess) | engineering.kif 642-642 | ElectricalProcess は NaturalProcess の subclass では %n |
(subclass ElectricalResonance ElectricalProcess) | engineering.kif 659-659 | ElectricalResonance は ElectricalProcess の subclass では %n |