- 更多网络例句与存在量词相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Peirce ; quantifier ; semiotics ; index ; algebra of logic ; existential graphs ; line of identity
皮尔士；量词；指号学；索引；逻辑代数；存在图表；等值线
-
Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
-
The paper studied the query language of linear order constraint with existential quantifier under canonical forms.
本文考察了带存在量词的基于代数的线性序约束查询语言，给出其基本运算的定义和实施算法。
-
The algorithms of algebraic query operations were given. With existential quantifier, we could reduce the cost of exact projection.
不对存在量词进行消去，可以减少计算精确投影的一些开销，还能表达包含无穷约束元组的线性序约束关系。
-
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.
基于幺群概括，我们提出了一个可扩充的对象查询转换算法，该算法可以处理嵌套子查询、带存在量词和全称量词的查询、带聚集函数的查询、带分组/排序的查询，具有较强的通用性，该算法也体现了我们尽可能地将查询转换成连接以期望用连接的多种物理算法提高执行效率的查询优化思想。
-
P. 71 We will call this thesis—the thesis that there are many meanings for the existential quantifier that are equally natural and equally adequate for describing all the facts—"the doctrine of quantifier variance"(Hirsch 2002b, Sider 2009). What exactly are the candidate meanings in question?
我们会说这个主张（存在量词有多个意思，都同等地自然和足以表达所有事实）是"量词可变"(Hirsch 2002b， Sider 2009)。
-
It has some semantic changes when the same heterogeneous individual noun collocates with individual quantifiers or measure words .
&数+度量+个体名词&结构在所指事物的个体数量上存在歧义现象，同一个异质个体事物名词分别加个体量词与度量词时存在有不同的语义变化，加度量词时表示的一定是人类领域意义上的同质&个体性&事物的类，侧重事物的属性。
-
This article also points out the direction of depth study on future because of that the current shortage research on the type of measure words.
指出当前种类量词研究方面存在的不足，并展望种类量词研究的发展方向。
- 更多网络解释与存在量词相关的网络解释 [注：此内容来源于网络，仅供参考]
-
bounded existential quantifier：有界存在量词
bounded domain 有界域 | bounded existential quantifier 有界存在量词 | bounded function 有界函数
-
existential quantifier：存在量词
对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.
-
existential quantifier：存在量词 IN FOPC(一阶谓词演算)
61 EXISTENTIAL QUANTIFICATION 存在量词化 IN KR(知识表示) | 62 EXISTENTIAL QUANTIFIER 存在量词 IN FOPC(一阶谓词演算) | 63 EXPECTED FUTURE PLAN 期望的未来规划
-
quasi-limited existential quantifier：准受囿存在量词
准拉丁方 quasi-latin squares | 准受囿存在量词 quasi-limited existential quantifier | 准受囿全称量词 quasi-limited universal quantifier
-
quasi-limited existential quantifier：拟受囿存在量词
quasi-length 拟长度 | quasi-limited existential quantifier 拟受囿存在量词 | quasi-limited univerasl quantifier 拟受囿全称量词
-
unique existential quantifier：唯一存在量词
underspecification 不充分规约 % XJW | unique existential quantifier 唯一存在量词 | universal quantifier 全称量词
-
Existenzquantor existential quantifier; exists：存在量词
Existenz existence 存在 | Existenzquantor existential quantifier; exists 存在量词 | explizit explicit 显式
-
universal quantifier：全称量词
对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.
-
quasi-limited universal quantifier：准受囿全称量词
准受囿存在量词 quasi-limited existential quantifier | 准受囿全称量词 quasi-limited universal quantifier | 准局部环 quasi-local ring
-
existentially quantified variable：存在量词化变元
existential specification 存在规范 | existentially quantified variable 存在量词化变元 | existing assets 现存财产