No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1025-1025 |
子類 橋式單相整流器 and 單相整流器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1030-1030 |
子類 倍頻單相整流器 and 單相整流器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1020-1020 |
子類 半波單相整流器 and 單相整流器 |
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 |
|