| (subclass ElectricalCircuit ElectricDevice) | engineering.kif 986-986 | Electrical circuit is a subclass of electric device |
| (subclass Amplifier ElectricalCircuit) | engineering.kif 992-992 | Amplifier is a subclass of electrical circuit |
| (subclass FrequencyFilter ElectricalCircuit) | engineering.kif 997-997 | Frequency filter is a subclass of electrical circuit |
| (subclass Rectifier ElectricalCircuit) | engineering.kif 1012-1012 | Rectifier is a subclass of electrical circuit |
| (subclass OperationalAmplifier ElectricalCircuit) | engineering.kif 1046-1046 | Operational amplifier is a subclass of electrical circuit |
|
|