No TPTP formula. May not be expressible in strict first order. | engineering.kif 1087-1087 | Fet 晶体管 是 晶体管 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1091-1091 | Jfet晶体管 是 fet 晶体管 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1096-1096 | Mosfet晶体管 是 fet 晶体管 的 subclass |
![]() |