No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1025-1025 |
BridgeSinglePhaseRectifier e' uma sub-classe de SinglePhaseRectifier |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1030-1030 |
DoublerSinglePhaseRectifier e' uma sub-classe de SinglePhaseRectifier |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1020-1020 |
HalfWaveSinglePhaseRectifier e' uma sub-classe de SinglePhaseRectifier |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53194-53194 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53193-53193 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53192-53192 |
|