小窓モード

プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > predicatesの意味・解説 > predicatesに関連した共起表現

「predicates」の共起表現一覧(1語右で並び替え)

該当件数 : 37



nd variables which were bound in the unified predicates also occur in other predicates in the two cl
ic programming, such as infinite trees, lazy predicates, and concurrent communicating predicates.
te Prolog applications that use Java foreign predicates and that make use of multi-threading.
Predicates and functions of real numbers need to be def
Even when restricted to predicates and proper classes definable in first order
odes of knowledge representation like terms, predicates and very complex propositional systems like
tely analyzed in terms or monadic and dyadic predicates, and (b) triads are sufficient because there
In the §-Calculus, syntactic predicates are originally called simply predicates, but
In set theory, predicates are understood to be characteristic function
covering as many previously uncovered design predicates as possible with each new test.
ed not to English adjectives, but to English predicates, as this is how they function grammatically
d-order logic keeps the requirement that all predicates be unary, but allows for quantification over
can be used in a goal literal and arbitrary predicates can occur in conditions of equations.
Semantic predicates extend this capability to interesting non-co
imes real, furnishes us the means of turning predicates from being signs that we think or think thro
Each of the four types of design predicates have an associated integration complexity ra
is a conjunctive query without distinguished predicates, i.e., a query in the form , where each Ri i
The effects of actions are given using the predicates Initiates and Terminates.
onary semantic theories that avoid analysing predicates like "x is true" as expressing a real proper
The predicates locked and open represent the conditions of
Also, some combinations of design predicates might be logically impossible.
The module system controls the visibility of predicates, non-logical stores, source trans­formations
where D, M and H denote the predicates of being, respectively, a dog, a mammal, and
RCGs aim to reduce a start predicate (which predicates of a terminal string) to the empty string, w
mmutativity of conjunction demonstrates that predicates on both sides of a logical conjunction opera
tablishment of the state of Israel, which he predicates on the commission of atrocities against the
he domain, the fluents are modeled as either predicates or functions.
ng the feasibility of conjunctions of theory predicates passed on to it from the SAT solver as it ex
a lightweight protocol (few OWL classes and predicates; see the SSWAP Protocol) and the concept of
ions and processes to their operands to form predicates, statements, and relational phrases.
ws the extension writer to support any query predicates that they choose.
les governing the order of elements, Boolean predicates that the content must satisfy, data types go
Set-builder notation makes use of predicates to define sets.
ccountability, he is author of Microeconomic Predicates to Law and Economics (Anderson Pub.
annot nest usefully if there are no polyadic predicates to relate the bound variables.
predicates, which are functions that return proposition
                                                                                                    


こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2026 GRAS Group, Inc.RSS