(subclass ElectricalProcess NaturalProcess) | engineering.kif 642-642 | ElectricalProcess est une sous-classe de NaturalProcess |
(subclass ElectricalResonance ElectricalProcess) | engineering.kif 659-659 | ElectricalResonance est une sous-classe de ElectricalProcess |