No TPTP formula. May not be expressible in strict first order. | engineering.kif 658-658 | Electrical resonance is a subclass of resonance |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 659-659 | Electrical resonance is a subclass of electrical process |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 663-663 | Series resonance is a subclass of electrical resonance |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 667-667 | Parallel resonance is a subclass of electrical resonance |