No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1100-1100 |
NpnTransistor e' uma sub-classe de BjtTransistor |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1104-1104 |
PnpTransistor e' uma sub-classe de BjtTransistor |
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 |
typicalPart Base and BjtTransistor |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1075-1075 |
typicalPart Collector and BjtTransistor |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1079-1079 |
typicalPart Emitter and BjtTransistor |