No TPTP formula. May not be expressible in strict first order. | engineering.kif 573-573 | DamperElement e' uma sub-classe de Dissipator |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 574-574 | DamperElement e' uma sub-classe de TranslatoryTwopole |