1) n-ary existential quantifier
n-元存在量词
1.
Aiming at the insufficiency of the MSC inference in DLs which can not deal with n-ary existential quantifier,the MSC inference for the DL with n-ary existential quantifier εL(n)is studied,where n-ary existential quantifier is a new concept constructor in DLs.
针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题。
2) existentially quantified variable
存在量词化变元
3) existential quantifier
存在量词
1.
The Syntactic and Semantic Analysis of Scope Ambiguity of Universal and Existential Quantifiers in Mandarin Chinese and English;
中英全称和存在量词的辖域歧义问题的句法和语义分析
2.
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语言予以实现
4) unit quantifier
有界存在量词
5) quasi-limited existential quantifier
拟受囿存在量词
6) existential verb
存在动词
1.
Shi(是) is a locative preposition as well as an existential verb in Ou dialect, Hakka dialect part of Hui dialect (徽语) and Yue dialect (粤语).
“是”在瓯语、徽语(部分)、粤语(部分)、客家话中用为存在动词兼处所介词。
2.
This paper argues that the word shi是of Wenzhou dialect in Zhejiang province functions as both an existential verb and a locative preposition.
温州方言“是”是存在动词又是处所介词,“在”也是存在动词和介词。
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条