查询词典 predicate logic

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 成分

complete predicate：完备[全]谓词

exhaust cone 尾喷管, 尾喷口整流锥, 喷口调节锥, 锥形废气管; 调整针塞 | complete predicate 完备[全]谓词 | overconfident 过于自信的, 自负的

White Mustard Seed Extract：白芥子提取物

Cherokee rose fruit extract 金樱子提取物 | White Mustard Seed Extract白芥子提取物 | Chinese Dodder Seed Extract 菟丝子提取物

snowstorm warning：暴风雪警告

28. weather report 天气报告 | 29. snowstorm warning 暴风雪警告 | 1. shake(名词)_______