1.
The Relative Truth Degrees og Predicate Formulas in the Finite Interpretation;
有限解释下一阶谓词公式的相对真度
2.
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
3.
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
4.
atomic formula in predicate calculus
谓词演算中的原子公式
5.
This is not expressible as a first-order predicate calculus property.
这就是一个一阶谓词演算不可表述的属性。
6.
Also, first-order predicate calculus isn't good enough anyway.
同时，从各方面来说，一阶谓词演算都不是足够好。
7.
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;
一阶谓词逻辑在人工智能知识表示中的应用
8.
The atomic formula is called atom for short in predicate calculus.
在谓词演算中,有时将原子公式简称为原子。
9.
Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;
模糊谓词逻辑公式的有限和可数解释真度理论
10.
The predicate generally indicates age, date, amount of money, native place, etc. The negative form is to place不是 before the predicate.
谓语一般限于表示年龄、期、量、贯等，否定式要在名词谓语前面加"不是"。
11.
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.
两个谓语动词的次序不能改变，否定形式是把否定副词放在第一个谓语动词前边。
12.
Please pay enough attention to the agreement of the subject and the predicate, tense and verb forms.
请充分注意句子的主谓一致，时态和动词形式。
13.
The exporessive mode of simple predicate verd coheres with subject;
与主语协调一致的简单谓语动词表现形式分析
14.
A verb, such as a form of be or seem, that identifies the predicate of a sentence with the subject.
系词将一个句子的谓语和主语连起来的动词，如be或seem的一种形式
15.
This is a collective noun. Though it appears in the singular form, it takes a plural predicate verb.
它是一个集合名词。虽然形式上是单数，它必须跟复数的谓语动词。
16.
Conditional α-truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic;
模糊谓词逻辑中基于有限解释的公式的条件α-真度理论
17.
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).
表示个体,谓词,个体量化,和命题关系的一种形式逻辑。
18.
The term "Raba"means "roaming artist".
"热巴":"热巴"一词，意为"流浪艺人"、也是人们对其表演形式的称谓。