No TPTP formula. May not be expressible in strict first order. |
engineering.kif 658-658 |
Electrical resonance is a subclass of resonance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 654-654 |
Mechanical resonance is a subclass of 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 |
|