| (subclass TranslatoryTwopole PureTwopole) | engineering.kif 569-569 | TranslatoryTwopole は PureTwopole の subclass では %n |
| (subclass DamperElement TranslatoryTwopole) | engineering.kif 574-574 | DamperElement は TranslatoryTwopole の subclass では %n |
| (subclass Inertor TranslatoryTwopole) | engineering.kif 579-579 | Inertor は TranslatoryTwopole の subclass では %n |
| (subclass SpringElement TranslatoryTwopole) | engineering.kif 584-584 | SpringElement は TranslatoryTwopole の subclass では %n |
|
|