| (subclass SemiconductorComponent ElectricalComponent) | engineering.kif 1039-1039 | SemiconductorComponent は ElectricalComponent の subclass では %n |
| (subclass Diode SemiconductorComponent) | engineering.kif 1048-1048 | Diode は SemiconductorComponent の subclass では %n |
| (subclass Transistor SemiconductorComponent) | engineering.kif 1064-1064 | Transistor は SemiconductorComponent の subclass では %n |
| (subclass Thyristor SemiconductorComponent) | engineering.kif 1110-1110 | Thyristor は SemiconductorComponent の subclass では %n |
|
|