查询词典 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 谓词使用。。。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。