| (subclass ElectricalCircuit ElectricDevice) | engineering.kif 1297-1297 | Electrical circuit is a subclass of electric device |
| (subclass Amplifier ElectricalCircuit) | engineering.kif 1303-1303 | Amplifier is a subclass of electrical circuit |
| (subclass FrequencyFilter ElectricalCircuit) | engineering.kif 1308-1308 | Frequency filter is a subclass of electrical circuit |
| (subclass Rectifier ElectricalCircuit) | engineering.kif 1323-1323 | Rectifier is a subclass of electrical circuit |
| (subclass OperationalAmplifier ElectricalCircuit) | engineering.kif 1357-1357 | Operational amplifier is a subclass of electrical circuit |
|
|