No TPTP formula. May not be expressible in strict first order. | engineering.kif 1015-1015 | Single phase rectifier is a subclass of rectifier |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1020-1020 | Half wave single phase rectifier is a subclass of single phase rectifier |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1025-1025 | Bridge single phase rectifier is a subclass of single phase rectifier |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1030-1030 | Doubler single phase rectifier is a subclass of single phase rectifier |
![]() |