No TPTP formula. May not be expressible in strict first order. |
engineering.kif 658-658 |
电共振 是 谐振 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 654-654 |
机械共振 是 谐振 的 subclass |
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 |
|