SemiconductorComponent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1037-1038
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1977-1977
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2354-2354
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1039-1039	半导体元件是电气元件的 subclass

appearance as argument number 2

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 1110-1110	晶闸管是半导体元件的 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.	domainEnglishFormat.kif 52035-52035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52034-52034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52033-52033