查询词典 quantifier

The former is bound by operator gen and the latter is bound by existential quantifier.

类指性由类指算子gen约束，存在性由存在量词约束。

The most plausible suggestion is that Lewis and Unger assign different meanings to the existential quantifier, '' (as well as quantificational phrases like 'there are', 'there is', and 'some').

最合理的建议是，L和U指派了不同的意思给存在量词，""（也就是量词表达"存在"、"有"、"一些"等）。

Based on monoid comprehension, we presented an extendable object query translation algorithm which can deal with nested subquery, query with existential and universal quantifier, query with aggregate function, query with sort/group. This algorithm converted the query into joins to the utmost to expect different physical implementations of join to raise execution efficiency.

基于幺群概括，我们提出了一个可扩充的对象查询转换算法，该算法可以处理嵌套子查询、带存在量词和全称量词的查询、带聚集函数的查询、带分组/排序的查询，具有较强的通用性，该算法也体现了我们尽可能地将查询转换成连接以期望用连接的多种物理算法提高执行效率的查询优化思想。

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

Quantifier is one of key conceptions in logic, especially in modern logic. It always plays an important role in logical analysis and linguistical analysis.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

Many valued logic ; quantifier ; Tableau method ; upset/downset in set ; regular formula

多值逻辑；量词； Tableau方法；集合的上集/下集；正则公式

When you use a quantifier, you want it to match everything up to the point where you want to finish your match.

当您使用a量词，你希望它符合一切of权排序）最多的地方要完成您的比赛。

After a number, quantifier, or partitive noun, with the word denoting the whole functioning as the head of the phrase.

用于数词、量词或表部分的词后面，表示整体起中心词的作用〕的

This is the first thing you will learn to do in quantifier logic,which is also called predicate logic.

这是在限定逻辑，也称谓词逻辑中你首先要明白的。

At the same time can also be used as a quantifier.

同时还可以作为量词使用。

I'm not an actor. I'm a professor of paleontology.

我不是演员，我是古生物学教授

Spider Network Web site that is a very image of the name.

网络蜘蛛即Web Spider，是一个非常形象的名字。