No TPTP formula. May not be expressible in strict first order. |
engineering.kif 932-932 |
Faucet 是 流体动力装置 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 907-907 |
液压缸 是 流体动力装置 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 913-913 |
阀 是 流体动力装置 的 subclass |
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 |
|