No TPTP formula. May not be expressible in strict first order. |
engineering.kif 667-667 |
ParallelResonance est une sous-classe de ElectricalResonance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 663-663 |
SeriesResonance est une sous-classe de ElectricalResonance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21546-21546 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21545-21545 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21544-21544 |
|