No TPTP formula. May not be expressible in strict first order. | engineering.kif 569-569 | Translatory twopole is a subclass of pure twopole |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 574-574 | Damper element is a subclass of translatory twopole |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 579-579 | Inertor is a subclass of translatory twopole |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 584-584 | Spring element is a subclass of translatory twopole |