1) 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.
分别对汉语中以句首”有”字结构为例的存在量限式和以周遍性主语句为例的全称量限式进行逻辑语义的分析,以调查统计为基础探讨汉语歧义量化句的问题。
2) 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.
为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ 。
3) determiner universal quantifier
限定性全称量化词
4) 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.
但是它们不同于逻辑上的全称量词,只要求达到一定程度,不要求全部。
5) item of total quantity
全称量项
1.
"Dou",which is one of the adverbs in Chinese,can imply the meaning of the item of total quantity and the meaning of implicit comparison.
副词“都”的全称量项义与隐含差比义明显不同,在焦点化能力、语义指向和方言等值词等方面都可找到依据。
6) metage by electronic belt weigher
带式称量
补充资料：限式
1.规定的准则。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条