No TPTP formula. May not be expressible in strict first order. |
engineering.kif 850-850 |
Resistor element expresses dissipator |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 573-573 |
Damper element is a subclass of dissipator |
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 |
|