| (subclass ElectricalMultipoleModel MultipoleModel) | engineering.kif 346-346 | ElectricalMultipoleModel は MultipoleModel の subclass では %n |
| (subclass NonlinearCircuit ElectricalMultipoleModel) | engineering.kif 350-350 | NonlinearCircuit は ElectricalMultipoleModel の subclass では %n |
| (subclass RLCircuit ElectricalMultipoleModel) | engineering.kif 355-355 | RLCircuit は ElectricalMultipoleModel の subclass では %n |
| (subclass RLCCircuit ElectricalMultipoleModel) | engineering.kif 360-360 | RLCCircuit は ElectricalMultipoleModel の subclass では %n |
| (subclass RCCircuit ElectricalMultipoleModel) | engineering.kif 365-365 | RCCircuit は ElectricalMultipoleModel の subclass では %n |
|
|