TreeView Knowledge Base Browser - SemiconductorComponent

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	SemiconductorComponent est une sous-classe de ElectricalComponent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1048-1048	Diode est une sous-classe de SemiconductorComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1110-1110	Thyristor est une sous-classe de SemiconductorComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1064-1064	Transistor est une sous-classe de SemiconductorComponent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52037-52037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52036-52036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52035-52035