No TPTP formula. May not be expressible in strict first order. |
engineering.kif 646-646 |
摩擦 是 机械过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 655-655 |
机械共振 是 机械过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36743-36743 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36742-36742 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36741-36741 |
|