No TPTP formula. May not be expressible in strict first order. |
engineering.kif 850-850 |
电阻元件 表达 消减器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 573-573 |
阻尼元件 是 消减器 的 subclass |
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 |
|