No TPTP formula. May not be expressible in strict first order. |
engineering.kif 850-850 |
ResistorElement define Dissipator |
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. |
domainEnglishFormat.kif 19932-19932 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19931-19931 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19930-19930 |
|