No TPTP formula. May not be expressible in strict first order. | engineering.kif 509-509 | Dissipator is a subclass of pure twopole |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 573-573 | Damper element is a subclass of dissipator |