查询词典 quantifier

a few：一些

量词包括像"many"(许多),"most"(大多数),"一些"(a few)和一些数词. 量词使侧重的例子具有一定的数量,量词也具有例举和语境定位的作用. Langacker把量词区分为绝对量词(absolute quantifier)和相对量词(relative quantifier),

quantifier-free conjunctive normal form：自由量词合取范式

量詞範疇 quantifier scoping | 自由量詞合取範式 quantifier-free conjunctive normal form | 量化知識複雜度 quantify knowledge complexity

existential quantifier：存在量词

对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.

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 全称量词

allgemeine lineare Gruppe general linear group：全线性群

allgemein general 总的;一般的;通常的;普遍的;通用的; | allgemeine lineare Gruppe general linear group 全线性群 | Allquantor universal quantifier; general quantifier 全称量词

universal quantifier：全称量词

对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.

quasi-limited universal quantifier：准受囿全称量词

准受囿存在量词 quasi-limited existential quantifier | 准受囿全称量词 quasi-limited universal quantifier | 准局部环 quasi-local ring

Allquantor universal quantifier; general quantifier：全称量词

allgemeine lineare Gruppe general linear group 全线性群 | Allquantor universal quantifier; general quantifier 全称量词 | Alternantensatz alternation theorem 择一定理

WIDEOPEN：(视野广阔)

10.NIGHTBREEZE(晚风) | 12.WIDEOPEN(视野广阔) | 13.NEWSTAR(新星)

Lagenorhynchus sp. Short-beaked dolphin：短吻海豚

Buteo galapagoensis Galapagos hawk 加拉巴哥鷹 | Lagenorhynchus sp. Short-beaked dolphin 短吻海豚 | Felis iaguarondi jaguarundi 美洲山貓