You pass a formula used as a predicate to see if it is a valid rule for the element.
您传递一个用作谓词的公式，检查它是否是一个有效的元素规则。
Additionally, DB2 requires that you follow a basic syntax rule in order to detect the potential application of a spatial predicate.
此外，DB 2要求遵从基本的语法规则，以检测潜在的对空间谓词的使用。
At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.
最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。
应用推荐