| (subclass ElectricalComponent ElectricDevice) | engineering.kif 980-980 | |
| (subclass Relay ElectricalComponent) | engineering.kif 748-748 | |
| (subclass Terminal ElectricalComponent) | engineering.kif 821-821 | |
| (subclass ElectricalConductor ElectricalComponent) | engineering.kif 825-825 | |
| (subclass ResistorElement ElectricalComponent) | engineering.kif 854-854 | |
| (subclass Capacitor ElectricalComponent) | engineering.kif 864-864 | |
| (subclass Inductor ElectricalComponent) | engineering.kif 868-868 | |
| (subclass SemiconductorComponent ElectricalComponent) | engineering.kif 1039-1039 | |
| (subclass SparkPlug ElectricalComponent) | Cars.kif 434-434 |
|
|