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	子類半導體元件 and 電氣元件

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1048-1048	子類二極管 and 半導體元件
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1110-1110	子類晶閘管 and 半導體元件
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1064-1064	子類晶體管 and 半導體元件
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