predicate-argument structure 述词论元结构
A predicate name, followed by an argument list in parentheses, is called an atomic formula.
一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。
A predication consists of argument (s) and predicate.
述谓结构由论元和谓词组成。
A predicate is something that is said about an argument or it states the logical relation linking the arguments in a sentence.
谓词谈及的是论元，或者说它说明的是句子中联系论元的逻辑关系。
应用推荐