No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1057-1057 |
子類 LED and 二極管 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1052-1052 |
子類 齊納二極管 and 二極管 |
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 |
|