查询词典 arithmetical predicate

I predicate that this summer a friend will pop up into your life.

我预测今年夏天你的一个朋友会在你的生活中突然出现。

It is plain from what has been said that both the name and the definition of the predicate must be predicable of the subject.

宾语的名字和宾语的定义都能表述主语。

In order to match the predicate calculus,the relational database model was selected as the basic data model.

为与谓词演算相配合，关系数据库模型被选作基本数据模型。

Also predicate calculus, which studies the internal structure of simple.

也叫谓语演算，它研究简单马那瓜体的内部结构。

This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.

这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。

Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.

从而形成了模糊谓词演算一种新的语构与语义体系。

The event calculus is a theory for reasoning about action based on first-order predicate calculus.

事件演算是基于一阶谓词演算的行动推理理论。

Also, first-order predicate calculus isn't good enough anyway.

同时，从各方面来说，一阶谓词演算都不是足够好。

A legitimate expression of the predicate calculus.

一个合法的谓词演算表达式，即谓词演算语法所允许的公式。

This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.

通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。

Cable dampener cannot be rolled up but must be hung over the cable.

缆帆不能被卷起，必须保证处于展开状态

"This skylark is a present from my master," he says.

"这只云雀是我主人献上的礼物。"他说。