No TPTP formula. May not be expressible in strict first order. |
engineering.kif 604-604 |
IdealOperationalAmplifier e' uma sub-classe de Fourpole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 590-590 |
Twoport e' uma sub-classe de 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 |
|