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. | engineering.kif 574-574 | Damper element is a subclass of translatory twopole |