查询词典 predicate variable

one point compactification：单点紧化

one place predicate calculus 一元谓词演算 | one point compactification 单点紧化 | one point set 退化集

computable predicate：可算述词

可算函数 computable function | 可算述词 computable predicate | 计算 computation

subject-predicate contraposition：主謂連詞

predication theory 主謂理論 | subject-predicate contraposition 主謂連詞 | subject preposition deletion 主謂結構

direct object：直接宾语

主语:(subject) 名词,代词,或相当于它们的词组,动名词,动词不定式,从句谓语:(Predicate) 动词以及词组表语: (Predictive)名词,形容词,介词词组,某些副词,动名词,动词不定式,从句宾语: (object) 直接宾语(direct object) 间接宾语(indirect object) ,

extended point transformation：开拓的点变换

extended plane 扩张平面 | extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算

extended point transformation：延拓的点交换

扩张的正交群 extended orthogonal group | 延拓的点交换 extended point transformation | 广义谓词演算 extended predicate calculus

extended predicate calculus：广义谓词演算

extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设

extended riemann hypothesis：广义黎曼假设

extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设 | extended unitary group 广义酉群

general recursive predicate：一般递归谓词

general recursive function 一般递归函数 | general recursive predicate 一般递归谓词 | general recursive relation 一般递归关系

general recursive relation：一般递归关系

general recursive predicate 一般递归谓词 | general recursive relation 一般递归关系 | general set theory 一般集合论

phenol red：酚红,苯酚磺酞

phenol reagent 酚试剂 | phenol red 酚红,苯酚磺酞 | phenol red test 酚红排泌试验

accessory equipment：附件

accessory equipment 辅助设备 | accessory equipment 附件 | accessory part 附件