1.
The Relative Truth Degrees og Predicate Formulas in the Finite Interpretation;
有限解释下一阶谓词公式的相对真度
2.
atomic formula in predicate calculus
谓词演算中的原子公式
3.
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
4.
The atomic formula is called atom for short in predicate calculus.
在谓词演算中,有时将原子公式简称为原子。
5.
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
6.
Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;
模糊谓词逻辑公式的有限和可数解释真度理论
7.
Conditional α-truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic;
模糊谓词逻辑中基于有限解释的公式的条件α-真度理论
8.
"police,cattle, militia, people, poultry"
永远要求复数形式谓语的集体名词
9.
Compound Pronouns of Shandong Dialect in Ming and Qing Periods;
明清山东方言三身代词的组合式称谓
10.
Algorithm of predicate abstraction for intermediate form of Java program
针对Java语言中间形式的谓词抽象算法
11.
A Comparison Between Adjective Verbs in Mongolian and Nonfinite Verbs in English;
蒙古语形动词与英语动词非谓语形式的对比
12.
The Semantic Structures and Rhetorical Features of Three charactered Neologisms in the Pattern “Predicate VP + NP”;
三字格新词中“谓﹁名名词××﹁×”格式的语义结构
13.
On the Distinctions between " -ing" and "to-infinitive" Forms:A Study of the Nonfinite Verbs;
论-ing式和to-infinitive式的区别——英语动词非谓语形式研究
14.
The predicate generally indicates age, date, amount of money, native place, etc. The negative form is to place不是 before the predicate.
谓语一般限于表示年龄、期、量、贯等，否定式要在名词谓语前面加"不是"。
15.
There is much water in the thermos.
但当不可数名词前有表示数量的复数名词时，谓语动词用复数形式。
16.
Such sentences are negated by adding the adverb"不" before the adjective.
形容词前加上副词“不”就构成形容词谓语句的否定形式。
17.
The order of the two predicate verbs can not be changed, and the negative form is to put the negative adverb before the first verb.
两个谓语动词的次序不能改变，否定形式是把否定副词放在第一个谓语动词前边。
18.
Show the commands pane if the selected object exposes verbs.
如果选定对象公开谓词，则显示命令窗格。