查询词典 restricted predicate calculus

arithmetical triangle：帕斯卡三角形

arithmetical predicate 算术谓词 | arithmetical triangle 帕斯卡三角形 | arithmetics 算术

arithmetical mean：等差中项, 算术平均数

arithmetical invariant | 算术不变量 | arithmetical mean | 等差中项, 算术平均数 | arithmetical predicate | 算术谓词

attribute：定语

现代汉语里一般的句子成分有六种, 即主语,谓语,宾语,定语,状语和补语.英语的基本成分有七种:主语(subject) ,谓语(predicate) ,表语(predicative) ,宾语(object) , 定语(attribute) ,状语(adverbial) 和补语(complement) .

Classes：类

如众所知(A)的真假乃是源于P中隐藏的真值述词的语意上的意义,或则是源自P对尚未决定之"类"(classes)或集合的量化(quant if ication). 此处吾人认为吾人可以更进一步的延伸此一诡论的架构,亦即是以某些语句述词(sentential predicate)来代替"真"与"假"二词.

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) ,

general recursive predicate：一般递归谓词

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

general recursive relation：一般递归关系

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

implicative predicate：蕴含谓词

imperative 祈使句 | implicative predicate 蕴含谓词 | implicature 含意

allied：同盟

"达利表示道,"两个教派都希望能促进彼此间的关系,将彼此视作是同盟(allied)而非世仇(feud). 但是罗马天主教必须向希腊东正教保证东正教能维持其独立性,而非受到罗马教廷的管制. "本笃16世在停留土耳其的期间屡屡登上媒体头条,

granuliform：细粒状的

Granulichara 粒轮藻属 | granuliform 细粒状的 | granulite facies 麻粒岩相