Amplifier - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 986-988
No TPTP formula. May not be expressible in strict first order.	engineering.kif 989-989
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1004-1004
No TPTP formula. May not be expressible in strict first order.	engineering.kif 990-990	子類放大器 and 電路

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1000-1000	子類反相放大器 and 放大器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1005-1005	子類同相放大器 and 放大器
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7296-7296
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7295-7295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7294-7294