No TPTP formula. May not be expressible in strict first order. | engineering.kif 1048-1048 | Diode est une sous-classe de SemiconductorComponent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1052-1052 | ZenerDiode est une sous-classe de Diode |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1057-1057 | LED est une sous-classe de Diode |
![]() |