BjtTransistor - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1081-1081
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4551-4551
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1082-1082
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1083-1083	Bjt transistor is a subclass of transistor

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1100-1100	Npn transistor is a subclass of bjt transistor
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1104-1104	Pnp transistor is a subclass of bjt transistor
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	A base is typically a part of a bjt transistor
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1075-1075	A collector is typically a part of a bjt transistor
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1079-1079	A emitter is typically a part of a bjt transistor