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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58952-58952 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58951-58951 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58950-58950 |
|