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