| (subclass PureTwopole Twopole) | engineering.kif 498-498 | Pure twopole is a subclass of twopole |
| (subclass IdealSwitch PureTwopole) | engineering.kif 501-501 | Ideal switch is a subclass of pure twopole |
| (subclass IdealTwopole PureTwopole) | engineering.kif 506-506 | Ideal twopole is a subclass of pure twopole |
| (subclass Dissipator PureTwopole) | engineering.kif 509-509 | Dissipator is a subclass of pure twopole |
| (subclass AcrossVariableAccumulator PureTwopole) | engineering.kif 513-513 | Across variable accumulator is a subclass of pure twopole |
| (subclass ThroughVariableAccumulator PureTwopole) | engineering.kif 517-517 | Through variable accumulator is a subclass of pure twopole |
| (subclass Source PureTwopole) | engineering.kif 520-520 | Source is a subclass of pure twopole |
| (subclass ElectricalTwopole PureTwopole) | engineering.kif 531-531 | Electrical twopole is a subclass of pure twopole |
| (subclass TranslatoryTwopole PureTwopole) | engineering.kif 569-569 | Translatory twopole is a subclass of pure twopole |
|
|