No TPTP formula. May not be expressible in strict first order. | engineering.kif 658-658 | ElectricalResonance est une sous-classe de Resonance |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 659-659 | ElectricalResonance est une sous-classe de ElectricalProcess |
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. | engineering.kif 667-667 | ParallelResonance est une sous-classe de ElectricalResonance |