谓词 英语是什么意思 - 英语翻译

• predicate
• verbs
• predicates

在 中文 中使用 谓词 的示例及其翻译为 英语

全可以作为谓词。
These all can serve as a trial.

Filter()方法采用谓词功能作为参数。
The filter() method takes a predicate method as a parameter.

在这种情况下，我们说n是谓词的元数。
In this case, we say that n is the arity of the predicate.

您可以将这些规则绑定到用户、组或HTTP标头谓词。
You can bind these rules to users, groups, or HTTP header verbs.

各种各样的空间谓词可以构成空间关联规则。
Various kinds of spatial predicates can be involved in spatial association rules.

通过谓词，我们可以将句子变成一个合适的句子。
With the predicate, we can turn the sentence into a proper sentence.

让我们看看我们在主题课中使用的句子来识别谓词。
Let's look at the sentences we used in the subject lesson to identify the predicates.

WebDAV扩展了request方法所允许的标准HTTP谓词和HTTP头。
WebDAV extends the set of standard HTTP verbs and headers allowed for request methods.

该谓词是一个更好的方法来确定是否安全让你的线程处理。
The predicate is a more concrete way of determining whether it is safe for your thread to proceed.

一个文字可能是一个RDF陈述的客体，但不是主体或者谓词。
A literal may be the object of an RDF statement, but not the subject or the arc.

作为谓词使用的符号不具有内在的含义，虽然很难记住这一点。
The symbols used as predicates do not have intrinsic meaning, although it is hard to remember this.

要应用这个规则到上述例子，我们找到谓词P以否定形式出现在第一个子句中.
To apply this rule to the above example, we find the predicate P occurs in negated form.

在谓词演算中，相关性要求在前提和结论之间共享变量和常量。
In a predicate calculus, relevance requires sharing of variables and constants between premises and conclusion.

断言是逻辑语句--带变量的谓词，而这些变量定义了程序的状态。
The assertions are logical statements- predicates with variables, where the variables define the state of the program.

二元谓词可以直接用作filter()或itertools.ifilter()的谓词。
Binary predicates can be used directly as predicates for filter() or itertools. ifilter().

但是如果你不了解Prolog或者谓词逻辑的话，很难自己发现这种思考方式。
And if you don't know Prolog, or the predicate logic, it's very difficult to discover this way of thinking by yourself.

特定谓词(如联系或保存)对用户来说比一般谓词(如安装或管理)更有意义。
Specific verbs(such as connect or save) are more meaningful to users than generic ones(such as configure or manage).

必需的HTTP方法（也称为操作或谓词），它会告诉服务所请求的操作类型。
A required HTTP method(also known as an operation or verb), which tells the service what type of operation you are requesting.

T-模式经常用自然语言表达，但它们很容易接纳多类谓词逻辑或模态逻辑的形式化；.
The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic;

我们可能不谓词抽象的抽象人性的神，也不是抽象的神的具体的人，反之亦然;
We may not predicate the abstract Divinity of the abstract humanity, nor the abstract Divinity of the concrete man, nor vice versa;

如果Optional对象的值存在，并且它符合谓词的条件，filter方法就返回其值；.
If a value is present in the Optional object and it matches the predicate, the filter method returns that value;

如今，哲学和计算机课堂上教授的逻辑学--一阶逻辑或谓词逻辑--只是对弗雷格的系统稍作了修改。
The logic taught in philosophy and laptop-science courses right now- first-order or predicate logic- is just a slight modification of Frege's system.

不再把规则看作是对在谓词逻辑中合法的推导的描述，你还可以把它们当作为给定陈述构造一个证明的指导。
Instead of viewing the rules as descriptions for legal derivations in predicate logic, one may also consider them as instructions for the construction of a proof for a given statement.

当然，上帝的无所不知不仅限于主体之间和谓词，逻辑顺序，训诂研究，或话语推理的区别。
Of course God's omniscience is not limited to the distinctions between subjects and predicates, logical sequence, exegetical research, or discursive reasoning.

查询谓词经常会高度关联（比如，model='Accord'的前提条件是make='Honda'），而估计这种关联的选择性非常困难。
Query predicates are often highly correlated(for example, model='Accord' implies make='Honda'), and it is very hard to estimate the selectivity of the conjunct in general.

如今，哲学和计算机课堂上教授的逻辑学--一阶逻辑或谓词逻辑--只是对弗雷格的系统稍作了修改。
The logic taught in philosophy and computer-science classes at the moment- first-order or predicate logic- is only a slight modification of Frege's system.

在一个前提中是主词，在另一个前提中是谓词，所以必须从逻辑中排除掉不能充当主词和谓词二者的任何项。
The subject of one premise, must be the predicate of the other, and so it is necessary to eliminate from the logic any terms which cannot function both as subject and predicate, namely singular terms.

第5行用QNameexterms:creation-date作为标签，提供了“属性元素（propertyelement）”,来表示谓词以及陈述的客体。
Line 5 provides a property element, with the QName exterms: creation-date as its tag, to represent the predicate and object of the statement.