Transistor - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1061-1062
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 793-793
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1063-1063
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1064-1064	晶体管是半导体元件的 subclass

appearance as argument number 2

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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58846-58846
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58845-58845
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58844-58844