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	晶闸管是半导体元件的 subclass

appearance as argument number 2

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