No TPTP formula. May not be expressible in strict first order. | engineering.kif 509-509 | Dissipator est une sous-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 573-573 | DamperElement est une sous-classe de Dissipator |