1) bounded quantification type
受限全称量词类型
1.
In order to build categorical semantic model of high_order subtyping, which distinguishes the different context and improve the introduction rule of bounded quantification type.
为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ 。
2) universal quantifier
全称量词
1.
Taking three relations for example, applyin some relevant theories to discrete mathematics, this article converses the query of the universal quantifier problem into the query of equivalent existential quantifier, then to achieve it in SQL.
以三个关系为例，应用离散数学的有关理论，把具有全称量词的查询问题转换成等价的存在量词的直询问题，并用SQL语言予以实现
2.
Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.
带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询,但也是最难的两种数据查询。
3.
However,they are not universal quantifiers per se as they do not require exhaustive inclusion.
但是它们不同于逻辑上的全称量词,只要求达到一定程度,不要求全部。
3) determiner universal quantifier
限定性全称量化词
4) universally quantified formula
全称量限式
1.
This paper begins by analysing the existentially quantified formulae,exemplified by the initial "you" construction,and the universally quantified formulae,exemplified by the totality-subject construction.
分别对汉语中以句首”有”字结构为例的存在量限式和以周遍性主语句为例的全称量限式进行逻辑语义的分析,以调查统计为基础探讨汉语歧义量化句的问题。
5) type qualifier
类型限定词
6) bounded universal quantifier
有界全称量词
补充资料：全称量词
全称量词
universal quantifier i$ universal quantor
全称量词【.面versaiq，姗d五er或~ersal qUantor;Bce06川“ocT“kBa“Topl 一个逻辑算子，用来形成“对于所有x”的表示式所组成的命题.在形式语言中全称量词最常见的表示式记作丫x，(V汉)，或者(x).也可以用记号(Ax)，八、，自、，fl、等.B.E.n:HeK。撰【补注】亦见量词(甲坦ntifier). 罗里波译王世强校
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条