No TPTP formula. May not be expressible in strict first order. |
engineering.kif 658-658 |
ElectricalResonance e' uma sub-classe de Resonance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 654-654 |
MechanicalResonance e' uma sub-classe de Resonance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49718-49718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49717-49717 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49716-49716 |
|