| Diode(diode)
| | crystal_rectifier, diode, junction_rectifier, rectifying_tube, rectifying_valve, semiconductor_diode |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1046-1047 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 389-389 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1049-1049 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1048-1048 | Diode is a subclass of semiconductor component |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1057-1057 | LE d is a subclass of diode |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1052-1052 | Zener diode is a subclass of diode |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19578-19578 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19577-19577 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19576-19576 |
|
|
|