查询词典 predicate variable

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

我相信对于学习布尔代数学和谓词逻辑的计算机科学学生来说它是非常有用的。

The third part, we analyze the serial verb construction of serial action by putting it into the serial-verb-predicate pattern. According to the classifies of the tense-aspect, and in the terms of transformational generative grammar, we get 37 types, 26 sorts, 222 the serial verb construction of serial action in all. And then we summarize the freedom degree of each type of tense-aspect get into the pre-pattern and post-pattern.

第三部分，把连续动作连动式放入连续动作谓语句中进行考察，依据第二部分时体的分类，再次从转换生成语法出发，共得出了7大类26次类222个连续动作连动式句型，在这一基础之上，总结出各个时体类型进入前动结构和后动结构的自由度。

Then the key is compared with the elements in the bucket to find any elements that match (using the equality predicate Pred ).

然后将键值与桶中的各个元素进行比较，(使用等同性谓词 Pred )找到匹配的元素。

Certain types of noun phrase can't be the subject of a k-l predicate.

部分类型的名词性词组不能作k-l述语的主语，如专有名词不能，带有不定冠词的单数名词也不能

The subject and predicate adjective must be connected by a linking verb, also called copula.

主语和形容词性述语之间必须用连系动词连接，连系动词也称为系动词。

The subject and predicate nominal must be connected by a linking verb, also called a copula.

主语和名词性述语之间必须用连系动词连接，连系动词也称为系动词。

Under the direction of Case Theory,the subject-predicate agreement and constraints on the definiteness of noun phrases in existential sentences are rediscussed in the light of case assignment and LF affix .

以格理论为指导，结合格传递说和 LF词缀说对存在句的一致问题和名词短语的确指问题进行再探讨，解释存在句的主谓一致受制于there和其后的NP，其后的NP大部分情况下是不确指的NP，但有时也有确指的NP。

Finally, the last method to define is the predicate which tests for inferiority, as fol- lows.

最后我们还需要定义测试小于关系的函数，如下面所示。

A phrase does not contain a finite verb and does not have a subject-predicate structure.

片语是构成一个语法单位的一组词，它没有限定动词，也不存在主述结构。

Normally a sentence consists of at least a subject and its predicate which contains a finite verb or a verb phrase.

句子通常由主语和谓语两大部分构成。谓语通常由限定动词或动词词组构成。

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.

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