| (subclass AcrossVariableAccumulator PureTwopole) | engineering.kif 513-513 | AcrossVariableAccumulator は PureTwopole の subclass では %n |
| (subclass Inertor AcrossVariableAccumulator) | engineering.kif 578-578 | Inertor は AcrossVariableAccumulator の subclass では %n |
|
|