No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1100-1100 |
Npn晶体管 是 bjt晶体管 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1104-1104 |
Pnp晶体管 是 bjt晶体管 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11249-11249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11248-11248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11247-11247 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1070-1070 |
基础 typically 是 bjt晶体管 的 part |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1075-1075 |
收集家 typically 是 bjt晶体管 的 part |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1079-1079 |
发射器 typically 是 bjt晶体管 的 part |