No TPTP formula. May not be expressible in strict first order. | engineering.kif 1039-1039 | 子類 半導體元件 and 電氣元件 |
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 1064-1064 | 子類 晶體管 and 半導體元件 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1110-1110 | 子類 晶閘管 and 半導體元件 |