No TPTP formula. May not be expressible in strict first order. | engineering.kif 1087-1087 | FetTransistor est une sous-classe de Transistor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1091-1091 | JfetTransistor est une sous-classe de FetTransistor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1096-1096 | MosfetTransistor est une sous-classe de FetTransistor |
![]() |