No TPTP formula. May not be expressible in strict first order. |
engineering.kif 604-604 |
Ideal operational amplifier is a subclass of fourpole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 590-590 |
Twoport is a subclass of fourpole |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24836-24836 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24835-24835 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24834-24834 |
|