| No TPTP formula. May not be expressible in strict first order. | engineering.kif 990-990 | 放大器 是 电路 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1000-1000 | 反相放大器 是 放大器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1005-1005 | 同相放大器 是 放大器 的 subclass |
|
|