存在

existence proof

存在性证明

constant temperature combustor 恒温燃烧室 | existence proof 存在性证明 | shortage 不足, 缺乏

absolute existence

绝对存在

absolute evaluation 绝对评价 | absolute existence 绝对存在 | absolute extremes 绝对极限

unique existence

唯一存在性

unipotent matrix 幂单矩阵 | unique existence 唯一存在性 | unique factorization domain 唯一析因整环

existent service

存在性服务

*executive assistant to the Administrator 署长执行助理 | *existent service 存在性服务 | *exit certificate 出境证明书

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

existential

存在的

因为科学所讲求的事实并不是一堆"纯事实"(pure facts)或"未经处理的数据"(raw data),宗教神学也不可能只有"存在的"(existential)或"属灵的"(spiritual)意义而已.

existential sentence

存在句

叶斯柏森在书中创造了大量新的术语,如"存在句"(existential sentence)、"母音大迁徙"(Great Vowel Shift)等. 他最先使用SVO三个字母代表"主动宾",也是最早在著作中系统地使用"§1.1"来代"节",这些在今天语言学著作中几乎已成定规.

Supposed to Be：应该吧

我想我该睡了 i think i should slp | 应该吧 supposed to be | 希望 hope so

Plain Weave：平布

509 hopsack 方平织物 | 510 plain weave 平布 | 511 panama 巴拿马薄呢