No TPTP formula. May not be expressible in strict first order. | engineering.kif 1048-1048 | 子類 二極管 and 半導體元件 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1052-1052 | 子類 齊納二極管 and 二極管 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1057-1057 | 子類 LED and 二極管 |