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 1100-1100 | NpnTransistor est une sous-classe de BjtTransistor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1104-1104 | PnpTransistor est une sous-classe de BjtTransistor |