No TPTP formula. May not be expressible in strict first order. | engineering.kif 1048-1048 | 二极管 是 半导体元件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1052-1052 | 齐纳二极管 是 二极管 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1057-1057 | LED 是 二极管 的 subclass |