查询词典 predicates

By successfully introducing the idea of divide and conquer,the method divides a whole ETS into two segments according to the number of predicates and searches dividedly to decrease the code under suspicion.

该方法在已有基于ETS的故障定位方法的基础上引入分治策略，按照谓词分段的方法，把ETS逐步分段检测，从而逐步排除无故障的代码。

Of course God's omniscience is not limited to the distinctions between subjects and predicates, logical sequence, exegetical research, or discursive reasoning.

当然，上帝的无所不知，是不是仅限于区分科目和谓词，逻辑顺序，训诂学研究，或散漫的推理。

It follows from this, of course, that if psychology (which includes not only the science, but our ordinary mentalistic concepts) is not reducible in a strong sense, its "properties" are only predicates and its subject matter is in part created by an act of the mind – the mind not being present until that act has been performed.

当然，随此，如果心理学（不仅包括科学，也包括常识精神概念）在强意义上不可还原。其属性仅仅是述词，其主语部分由心灵行为创造——心灵直到行为被执行才出现。

A model can be described by one or more predicates, which can be sto red in dynamic database of PROLOG system. An inference is used to evaluate the m odel.

一个模 型用一个或多个谓词来描述，把它们存放在PROLOG系统的动态数据库中，然后用推理机进行求解。

To be followed immediately then, will be the elucidation on the characteristics of the sentences in, and discussions on theoretical issues. Part 3-"The subject of simple sentence in". The grammatical and semantic structure of the subject-predicates sentence as well as that of non-subject-predicate sentence are analyzed and summarized, which are also expounded from the phraseological point of view. Part 4--The subject of complex sentence in

第二部分为&《礼记》句子的划分&，首先在前人在专书句子的切分、单复句的确定的研究的基础上，根据《礼记》的实际语言事实，定出了句子切分的原则，然后得出我们所选部分的句子的定性、定量数值，最后根据所得出的结果，阐述一些《礼记》句子的特点，进行有关理论方面的讨论。

Mental predicates are "projectable"(they figure in explanations of agents' behavior, for instance) because they hold of agents in virtue of those agents' possessing causally similar properties.

精神述词是&可投射的『 projectable 』&（例如，这可算进对'人行为'的解释中）因为它们根据那些人所拥有的因果上相似的属性而满足人。

In Chinese, we argued that Le2 plays the same role. Therefore, in Chinese,"guo…Le2" is experiential perfect,"cuo...qi, jiu…le" is universal perfect, and the combination of Le2 and the predicates which imply the result state derives resultative perfect.

此篇论文提出：&从…起，就…了&为中文的持续貌完成式，&过…了&为中文的经验貌完成式，&了…了&为特定事件完成式，而含有自然终结点的动词和「了2」单用则会形成结果貌完成式。

Third, on the base of Construction Grammar, this thesis not only uses metalanguage to interpret the vague event, but also retrieves the semantic components from the whole construction. In other words, this thesis postulates: although these three verbs are not full fledged pro-verbs in some cases, they behave like pro-verbs that they are 'super-lexical' morphemes and act differently from other predicates which just render a situation type for the event. For example, the frame-evoking verbs may change the situation type of an activity into a resultative state, or imply that the speaker takes business as an informal event in a rather pejorative tone.

再者，本文除了发现格式语法可以透过后设语言明确描述隐含的事件，并且可以透过对整个格式语意成分的提取，尽管在某些情况下尚不成熟，但可将这三个常项动词设定成整个语意框架内的「代动词」，换句话说，这三个动词的地位是在一般词汇之上，因为他们不像一般动词那样只给所带出的事件一个「动相类型」，而是可以提供整个语意框架较多的语意诠释：可能是一个事件状态的改变，例如：产生一个「结果状态」，或是使整个框架得到一个作说者对待事件的「角度」，例如：作说者用比较「贬义的角度」来看待该隐含的事件等等。

When it comes to the predicates of the semantic stratum, the author , according to the different conflation of five semantic components STATIVE, CHANGE, CAUSE, CONTACT and MOTION , divide verbs into eight types: stative, motion, change, cause, break, cut (CONTACT, MOTION, CAUSE and CHANGE), touch and hit.

在这一层中，作者引用了Levin 基于语义成分的对四个动词hit， touch， cut，和break的分类并把它延伸到英语性状小句中的动词分类，在此基础上，增加了四类动词：空间结构的静态动词，空间结构中的不延及他物的变化动词和不产生显著结果的动作动词及致使结构中不可省略性状成分的纯致使动词。

Predicates used by the library are either unary or binary.

标准库所使用的谓词函数不是一元的就是二元的。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。