No TPTP formula. May not be expressible in strict first order. |
engineering.kif 604-604 |
理想运算放大器 是 fourpole 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 590-590 |
双端口 是 fourpole 的 subclass |
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 |
|