No TPTP formula. May not be expressible in strict first order. |
engineering.kif 645-645 |
子類 摩擦 and 機械過程 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 654-654 |
子類 機械共振 and 機械過程 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36752-36752 |
子類 機械共振 and 機械過程 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36751-36751 |
子類 機械共振 and 機械過程 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36750-36750 |
子類 機械共振 and 機械過程 |