No TPTP formula. May not be expressible in strict first order. |
engineering.kif 932-932 |
子類 Faucet and 流體動力裝置 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 907-907 |
子類 液壓缸 and 流體動力裝置 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 913-913 |
子類 閥 and 流體動力裝置 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24398-24398 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24397-24397 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24396-24396 |
|