1.
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
2.
connective in predicate calculus
谓词演算中的连接词
3.
Algorithm of predicate abstraction for intermediate form of Java program
针对Java语言中间形式的谓词抽象算法
4.
atomic formula in predicate calculus
谓词演算中的原子公式
5.
Division Operation Semantics and Realization by SQL Based on Predicate Logic;
基于谓词逻辑的除法运算语义及其SQL实现
6.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究
7.
A Method of Identifying the Predicate Head Based on the Correspondence Between the Subject and the Predicate;
利用主语和谓语的句法关系识别谓语中心词
8.
The Syntax and Semantics of Nominal Predication in Mandarin Chinese;
现代汉语名词谓语句的句法语义分析
9.
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
10.
play@ is the predicate verb;
“play”为谓语动词；
11.
The atomic formula is called atom for short in predicate calculus.
在谓词演算中,有时将原子公式简称为原子。
12.
This is not expressible as a first-order predicate calculus property.
这就是一个一阶谓词演算不可表述的属性。
13.
Also, first-order predicate calculus isn't good enough anyway.
同时，从各方面来说，一阶谓词演算都不是足够好。
14.
Construction of predicate calculus finite set based on the requirement of management information ontology
管理信息本体需求的谓词演算有限集构造
15.
Computation method of spatial topological relation predicates with multiple hierarchies
多层次空间拓扑关系谓词的计算方法
16.
The Appellative Functions and Grammatical Traits of the Personal Pronouns in Chinese and Thai;
汉泰人称代词的称谓功能和语法特征
17.
(grammar) of adjectives; relating to or occurring within the predicate of a sentence.
（语法）指形容词；与一个句子的谓语相关或者处在谓语之中。
18.
the grammatical relation of a word or phrase to a predicate.
在谓语之前合乎文法的单词或短语关系。