No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1025-1025 |
桥式单相整流器 是 单相整流器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1030-1030 |
倍频单相整流器 是 单相整流器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1020-1020 |
半波单相整流器 是 单相整流器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53192-53192 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53191-53191 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53190-53190 |
|