查询词典 predicate

first order predicate logic：一阶述词逻辑

首先,由於在一階述詞邏輯(first order predicate logic)中,我們僅能以「無法證明~P」來說明「P是一致的(必然的)」. ...

predicate symbol：谓词符号

PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,

predicate：谓词

从文法和逻辑的角度看来,这是一个"命题"的形式. 由"主词"(subject)和"谓词"(predicate)两项组成,谓词"确认"或"否认"主词,命题可以是真实的或虚假的. 比如:

predicate：谓语

如果一个片语是个独立 的单位,也就是说它完整,可以当一个句子的「主语"(subject)或「谓语 "(predicate),那就可以把它当一个单一的字来看. 这个片语就像单一的字一样 可以用来形容某件事. 因此,一个词义,可以只用一个字,

predicate：述词

集体的与协同的(collective and reciprocal)框架在文法上,述词(predicate)是一句子中叙述或说明主词(subject)的部分,意即它是主词的动词及其修饰语、受词、补足语等,它可以是一意义完全的动词,或动词及其副词修饰语,或及物动词及其受词,

predicate：述语

座标描述元 节点测试 述语(Predicate) 两个标记法被定义,最后一个:简写语法,更为简要,并允许XPath便于靠直觉和,在许多情况下,利用常见的字符和构造式来书写阅读.

predicate on：以...为基础 把...放在...基础之上

pole vault jump 撑杆式跳跃 | predicate on 以...为基础 把...放在...基础之上 | Safety First 安全第一

complex predicate：复杂谓语

complementizer 补语标记 | complex predicate 复杂谓语 | complex stative construction 复杂状态结构

complex predicate：複雜謂語;合成述語

complex paradigm 複雜聚合體;複雜變化例 | complex predicate 複雜謂語;合成述語 | complex pure-relational languages 複雜的純關係語言

complex predicate：复合谓语

complementary distribution 互补分布 | complex predicate 复合谓语 | component 成分

at sb.'s disposal; in sb's disposal：任某人处理

at rest 宁静的,安静的,过世了的 | at sb.'s disposal; in sb's disposal 任某人处理 | at sb's service 听某人吩咐

Unionism：工会主义;工联主义

Unionist:工会主义者 | Unionism: 工会主义;工联主义 | Unitive:团结的,倾向于团结的