| 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 1083-1083 | Bjt晶体管 是 晶体管 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1087-1087 | Fet 晶体管 是 晶体管 的 subclass |
|
|