No TPTP formula. May not be expressible in strict first order. |
engineering.kif 990-990 |
子類 放大器 and 電路 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 995-995 |
子類 頻率濾波器 and 電路 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1044-1044 |
子類 運算放大器 and 電路 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1010-1010 |
子類 整流器 and 電路 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21468-21468 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21467-21467 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21466-21466 |
|