(subclass Rectifier ElectricalCircuit) | engineering.kif 1010-1010 | Rectifier e' uma sub-classe de ElectricalCircuit |
(subclass SinglePhaseRectifier Rectifier) | engineering.kif 1015-1015 | SinglePhaseRectifier e' uma sub-classe de Rectifier |
(subclass ThreePhaseRectifier Rectifier) | engineering.kif 1035-1035 | ThreePhaseRectifier e' uma sub-classe de Rectifier |