Thyristor - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1106-1107
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6923-6923
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8084-8084
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1109-1109
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1108-1108
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1110-1110	子類晶閘管 and 半導體元件

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57980-57980
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57979-57979
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57978-57978