No TPTP formula. May not be expressible in strict first order. |
engineering.kif 850-850 |
代表 電阻元件 and 消減器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 573-573 |
子類 阻尼元件 and 消減器 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19932-19932 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19931-19931 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19930-19930 |
|