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 |
|