No TPTP formula. May not be expressible in strict first order. | engineering.kif 346-346 | 电动多极模型 是 多极模型 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 350-350 | 非线性电路 是 电动多极模型 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 355-355 | RL电路 是 电动多极模型 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 360-360 | RLC电路 是 电动多极模型 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 365-365 | RC电路 是 电动多极模型 的 subclass |