No TPTP formula. May not be expressible in strict first order. | engineering.kif 1064-1064 | Transistor est une sous-classe de SemiconductorComponent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1083-1083 | BjtTransistor est une sous-classe de Transistor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1087-1087 | FetTransistor est une sous-classe de Transistor |