No TPTP formula. May not be expressible in strict first order. | engineering.kif 1083-1083 | Bjt transistor is a subclass of transistor |
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 |