查询词典 predicate variable

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.

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

I can predicate that this is real.

我断定这是真实的。

What's a predicate you say.

什么是谓词你说。

In theory, it should be possible, to transform a predicate

从理论上讲，它应该有可能，转变谓词

We predicate the motive to be good.

我们断言这个动机是好的。

What life will be like in the future is difficult to predicate.

未来的生活将是什么样子很难预料。

The first predicate we need will be used to sort the elements based on size.

我们需要的第一个谓词将用在基于大小的元素排序中。

Predicate in order to find appointments for each day, but that's about as complicated as it gets.

的使用，以寻找每天约会，但仅此是复杂的，因为它得到。

Using the IN predicate to use ...

使用IN 谓词使用。。。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。