| (subclass Terminal ElectricalComponent) | engineering.kif 821-821 | Terminal は ElectricalComponent の subclass では %n |
| (subclass Base Terminal) | engineering.kif 1068-1068 | Base は Terminal の subclass では %n |
| (subclass Collector Terminal) | engineering.kif 1073-1073 | Collector は Terminal の subclass では %n |
| (subclass Emitter Terminal) | engineering.kif 1077-1077 | Emitter は Terminal の subclass では %n |
|
|