No TPTP formula. May not be expressible in strict first order. |
engineering.kif 283-283 |
physicalDomain 圆周角度速度, 扭矩 and 旋转 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 285-285 |
physicalDomain 压力, 体积流量 and 流体动力 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 282-282 |
physicalDomain 速度, 力 and 平移 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 284-284 |
physicalDomain 电压, 当前 and 电动 |