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	Amplifier est une sous-classe de ElectricalCircuit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1000-1000	InvertingAmplifier est une sous-classe de Amplifier
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1005-1005	NoninvertingAmplifier est une sous-classe de Amplifier
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