No TPTP formula. May not be expressible in strict first order. |
engineering.kif 574-574 |
阻尼元件 是 翻译双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 579-579 |
Inertor 是 翻译双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 584-584 |
弹簧元素 是 翻译双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58952-58952 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58951-58951 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58950-58950 |
|