No TPTP formula. May not be expressible in strict first order. | engineering.kif 990-990 | 子類 放大器 and 電路 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1000-1000 | 子類 反相放大器 and 放大器 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1005-1005 | 子類 同相放大器 and 放大器 |