查询词典 predicate function

Second, the paper introduces the modeling characteristic of UML, provides formalization definition of nine kinds of diagram in UML using predicate logic, and points out their respective functions.

其次，本文对UML的建模特性进行了分析和研究，给出了UML中九种图的形式化定义，并指出它们各自的作用。

But when put DRS into DRT and the formulas into First-Order Predicate Logic, we will find there is big difference between them: the former is the result of Algorithm, the latter is the result of feeling.

不过，当我们把DRS置于DRT中，并把一阶谓词逻辑公式置于一阶谓词逻辑中，再对二者进行比较的话就会发现，这二者其实是有着重大差异的：前者是算出来的，后者则是感觉出来的。

Authors designed a kindred automatic reasoning model based on one-order predicate logic.

用一阶谓词逻辑设计了一个亲属关系的自动推理模型。

For example, with P (3,2) recorded a predicate variable, can be expressed as three great ...

例如用P（3，2）记一个谓词变项，可以表示3 大。。。

The example below declares a local variable predicate of a delegate type that takes a Customer and returns bool.

下面的例子声明了一个局部变量谓词委托类型，可以对一个客户并返回布尔。

Predicate variable - Wikipedia, the free encyclopedia

谓词变量-维基百科，自由的百科全书

The combination of the measured real time state acquisition from the process with predictive process for the fature state is used to predicate the variable tendency for process state.

实时控制专家系统要求在获得tk时刻数据后，实时给出被控过程的实时状态和最佳控制操作。

Our result show that severity of illness, measured by blood and plasma fee and accompany medical disease, was the most significant variable to predicate the grand total medical expenses.

在经CART分为15个同质性医疗费用相似之子群，而综观总医疗费用，可发现费用最高可达306，478元，最低为15，495元。

I can predicate that this is real.

我断定这是真实的。

What's a predicate you say.

什么是谓词你说。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。