(subclass Resonance NaturalProcess) | engineering.kif 651-651 | Resonance は NaturalProcess の subclass では %n |
(subclass MechanicalResonance Resonance) | engineering.kif 654-654 | MechanicalResonance は Resonance の subclass では %n |
(subclass ElectricalResonance Resonance) | engineering.kif 658-658 | ElectricalResonance は Resonance の subclass では %n |