| No TPTP formula. May not be expressible in strict first order. | engineering.kif 658-658 | 电共振 是 谐振 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 659-659 | 电共振 是 电气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 663-663 | 串联共振 是 电共振 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 667-667 | 并联共振 是 电共振 的 subclass |
|
|