小窓モード

プレミアム

ログイン
設定

設定

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

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

該当件数 : 37



nd variables which were bound in the unified predicates also occur in other predicates in the two cl
Predicates and functions of real numbers need to be def
tely analyzed in terms or monadic and dyadic predicates, and (b) triads are sufficient because there
odes of knowledge representation like terms, predicates and very complex propositional systems like
Even when restricted to predicates and proper classes definable in first order
te Prolog applications that use Java foreign predicates and that make use of multi-threading.
ic programming, such as infinite trees, lazy predicates, and concurrent communicating predicates.
In set theory, predicates are understood to be characteristic function
In the §-Calculus, syntactic predicates are originally called simply predicates, but
ed not to English adjectives, but to English predicates, as this is how they function grammatically
covering as many previously uncovered design predicates as possible with each new test.
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
RCGs aim to reduce a start predicate (which predicates of a terminal string) to the empty string, w
where D, M and H denote the predicates of being, respectively, a dog, a mammal, and
tablishment of the state of Israel, which he predicates on the commission of atrocities against the
mmutativity of conjunction demonstrates that predicates on both sides of a logical conjunction opera
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
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.
Set-builder notation makes use of predicates to define sets.
predicates, which are functions that return proposition
                                                                                                    


こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

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

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

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

ログイン

Weblio会員(無料)になると

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

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

無料会員に登録する

©2026 GRAS Group, Inc.RSS