No TPTP formula. May not be expressible in strict first order. | engineering.kif 1087-1087 | 子類 fet 晶體管 and 晶體管 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1091-1091 | 子類 jfet晶體管 and fet 晶體管 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1096-1096 | 子類 mosfet晶體管 and fet 晶體管 |