No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1025-1025 |
BridgeSinglePhaseRectifier est une sous-classe de SinglePhaseRectifier |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1030-1030 |
DoublerSinglePhaseRectifier est une sous-classe de SinglePhaseRectifier |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1020-1020 |
HalfWaveSinglePhaseRectifier est une sous-classe de SinglePhaseRectifier |
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 |
|