No TPTP formula. May not be expressible in strict first order. | engineering.kif 509-509 | Dissipator e' uma sub-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 573-573 | DamperElement e' uma sub-classe de Dissipator |
![]() |