(subclass ThroughVariableAccumulator PureTwopole) | engineering.kif 517-517 | Through variable accumulator is a subclass of pure twopole |
(subclass SpringElement ThroughVariableAccumulator) | engineering.kif 583-583 | Spring element is a subclass of through variable accumulator |