You pass a formula used as a predicate to see if it is a valid rule for the element.
您传递一个用作谓词的公式，检查它是否是一个有效的元素规则。
A predicate name, followed by an argument list in parentheses, is called an atomic formula.
一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。
Based on the leakage rate test of the spiral gasket, the leakage rate formula was regressed, which was used to predicate the leakage rate of the gasket and toke as the criterion. 2.
以缠绕垫片泄漏率试验为基础，回归得到金属石墨缠绕垫片的泄漏率公式，可较为准确地预估垫片泄漏率并作为评判标准。
应用推荐