No TPTP formula. May not be expressible in strict first order. | engineering.kif 1039-1039 | 半导体元件 是 电气元件 的 subclass |
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 1064-1064 | 晶体管 是 半导体元件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1110-1110 | 晶闸管 是 半导体元件 的 subclass |