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 1110-1110 |
子類 晶閘管 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. |
domainEnglishFormat.kif 52037-52037 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52036-52036 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52035-52035 |
|