查询词典 predicates

Only in time can two contradictorily opposed predicates meet in one and the same object, namely, one after the other.

惟有在时间中，才能在一个事物中，即相继地发现两个矛盾对立着的规定。

Here I may add that the concept of alteration, and with it the concept of motion, as alteration of place, is possible only through and in the representation of time; and that if this representation were not an a priori intuition, no concept, no matter what it might be, could render comprehensible the possibility of an alteration, that is, of a combination of contradictorily opposed predicates in one and the same object, for instance, the being and the not-being of one and the same thing in one and the same place.

它是那样的""它在这里，它在那里(这是运动在没有时间表达下的论述，显然是无意义的)。

Philosophers, seeking precision, prefer to characterize realism in terms of attitudes we evince toward terms or predicates

哲学家寻找更为精确的刻画，更倾向于根据我们的述词和术语的看法

The contributions of this paper are as following. Firstly, an authorization language is proposed. The expressive power of FEAL can be enhanced by user-defined predicates, and multiple policies are supported.

通过上述工作，本文的主要贡献体现在以下几点：第一，提出了一种灵活的可扩展的授权语言FEAL，利用自定义谓词扩展语言的表达能力，描述多种安全策略。

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

Some have said that predicates must have referents to be meaningful, and universals fit the bill.

有些人说，谓词必须要有所指才是有意义的，共相就是这样。

BP neural network has the ability to process nonlinear and complex system problems, it can predicates, recognizes and fuzzy evaluates of the enterprise system be- havior.

BP神经网络具有处理非线性复杂系统问题的能力，可时企业系统行为进行预测、识别和模糊评价。

In the other hand, Hoare logic has enough expressiveness since logic predicates can express more information than types.

本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。

I-l predicates can't occur in presentational "there" sentences a star in front of a sentence indicates that it is odd or ill-formed

i-l述语的使用比s-l述语严格，不能用于表意性的there be 句型（标星号的句子表示该句很奇怪，或是不规范

In order to make transformation between two temporal logics, we develop other two predicates to manipulate the interval. Their function is f: I→〓.

为实现两种时间语义的统一，ISITL定义了两个形式语义为f：I→〓的函词来实现对时段的各种操作。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。