No TPTP formula. May not be expressible in strict first order. | engineering.kif 1087-1087 | Fet transistor is a subclass of transistor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1091-1091 | Jfet transistor is a subclass of fet transistor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1096-1096 | Mosfet transistor is a subclass of fet transistor |