(subclass Rectifier ElectricalCircuit) | engineering.kif 1010-1010 | Rectifier est une sous-classe de ElectricalCircuit |
(subclass SinglePhaseRectifier Rectifier) | engineering.kif 1015-1015 | SinglePhaseRectifier est une sous-classe de Rectifier |
(subclass ThreePhaseRectifier Rectifier) | engineering.kif 1035-1035 | ThreePhaseRectifier est une sous-classe de Rectifier |