| 词汇 | example_english_predicate |
| 释义 | Examples of predicateThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. On the other hand, performing abductive reasoning on the event rules defines changes on base predicates needed to satisfy changes on derived predicates. Let us show the translation of several domains of properties into the language of partial predicates and exemplify checking by means of equational reasoning. Informally speaking, they are logic predicates that represent the degree of evaluation of an expression (demand properties). In the other benchmarks a much smaller fraction of unifications can be improved due to the heavy use of non-deterministic predicates. Every (logic) programmer should have, at least in her mind, intended meaning for all the used predicates. Indeed, consuming invalid tabled answers may result in finding more invalid answers for the same or other tabled predicates. Basically, the specialization technique will consist on specialization of rules by removing and reordering predicates. Automating the detection and handling of higher-order predicates is an important part of future work. Domain predicates are predicates that are defined nonrecursively. Moreover, he can specify a set of table definitions; note that each specified table is mapped into one of the program predicates. Partial predicates provide the necessary semantic ground and the advances in set constraint resolution makes unnecessary to reinvent the wheel. One of the uses of dynamic predicates is memoization: this is explained with an example. Thus, it does not use such predicates which are assembly specific. Also, we might want to restrict unfolding of user-defined predicates to cases where only one clause matches. Because of these difficulties, we decided to exclude activity predicates for this experiment. 13. Both are predicated on a belief in art's representative powers, and yet both rely on the abstracting and deeply hierarchic aesthetics of military art. The transgressions that representation licenses are predicated on the representational - that is, figurative - nature of those transgressions. His investigation, however, is predicated entirely on the assumption that this disease is not contagious enough to have been transmitted accidentally. Note that both built-in predicates and aggregates are supported. A group of fuzzy rules can be considered as a kind of combination of fuzzy predicates. Furthermore, our syntactical constraints are automatically provided by the proper choice of the most primitive basic predicates. Let us now formally provide a way of "collecting" all the adorned predicates generated by the rewriting of queries. The existence of such truth predicates has the same strength as the corresponding notion for the more ordinary language of implicational formulas. The role of pullbacks in categorical interpretations of logic is to perform substitution of terms into predicates and formulas. Predicates over partial setoids are defined in the same way as predicates over total setoids. Program 21 contains the declarations of these new predicates, and two examples which use them. The two predicates are then conjoined as descriptions of the same event. We point out that the definitions of the predicates emp and require a free variable mem to denote the current heap. The predicates are fuzzy sets that represent the degree of membership of terms to documents and queries. We specify inductive well-formedness predicates on the object-level, which (1) allow us to mimic structural induction by rule induction and (2) rule out exotic terms. However, we need to administer the elicitation context more tightly to "force" the subjects to produce certain target predicates with a designated argument structure. Since we are dealing with logic programs, the inputs as provided to the sensor predicates by sensors can be treated as ground atomic formulae. We ignored verbal morphology to the extent possible using base predicates wherever a questionable case arose. Signals of credibility predicated on adopting degrees of homogeneity are therefore focal, and signal receivers look for them in evaluating the credibility of outsiders. Although we focus here on factive predicates, noun forms in the constructions here appear to carry the same presuppositions. Most semantic predicates and operators require a small, finite number of arguments, but coordination is an exception to this strict number requirement. The interpretation of constants, functions and predicates may change during the problem-solving process. In fact, it is surely likely that prelinguistic creatures of the same species have significantly similar predicates, because of shared adaptive heredity. The essential difference is that we additionally need to record information about the predicates connected to letdefined (or primitive) functions. Safety guarantees that predicates within contracts do not raise exceptions of their own. Section 5 then proves soundness (but not completeness) in the general case where predicates in contracts may diverge. After a notable increase of the proportion of nouns at an early stage, the proportion of predicates (verbs and adjectives) grew steadily. Private-public partnerships are often predicated on such models of governance. To hide the predicates in transition rules, for instance, one can use axiomatic type-classes requiring well-formedness implicitly. Our expectation is predicated upon on assumption that we explicitly acknowledge. They also include graphs tracking various types of dependencies between predicates, in particular their call graph, which includes stratification information needed during evaluation. Floats and fluents are manipulated with three special built-in predicates: test, set, and influence. There are three auxiliary functions associated with signatures that will be needed for defining the remaining restrictor predicates. Using the categorical axiomatics, we can formulate (and generalize) the notion of logical predicates for arbitrary categorical models, and carry out the proof. Traditional marriage was thus predicated on the assumption of female inferiority and her necessary subjugation to men. As new situations need to be recognized, new situation programs that utilize existing sensors (and sensor predicates) can be defined. How can it be good to be able to choose between good and evil if that ability is predicated on such a grave defect ? The denouement of acceptance is not predicated upon the male object's 'explanations' (presumably, as she does not enumerate them), but upon self-examination. The architecture of the play is deliberate but the sequence is not predicated upon the demands of a plot; no story emerges from the chaos. The company's search is predicated upon its members' understanding of theatre. Examples are ayudando 'helping', estudiando 'studying, going to school', trabajando 'working', and different haciendo 'doing' predicates. A homomorphism is strong if it also reflects the predicates and the definedness of operations. Primitive predicates are basic and basic predicates are strictly positive. Note that primitive predicates not only include the usual first-order data types. The difficulty in this case is to establish predicates that provide a powerful reasoning principle for objects. We prefer to keep the above definition of satisfaction, in keeping with our view of coequations as predicates. Each of the conditions is a conjunction of two predicates, the first one being equal in both cases. The proof for operations and predicates is analogous. The required identification for operations and predicates can be proved analogously. Note that the unary operator [-] on relations is different from the binary operator [- -] on predicates. In the first instance, this phenomenon suggests that there may be a close prospective linkage between adverbials and the predicates they modify. Specifically, the prestige meanings associated with acrolectal variants like ai are predicated of the speaker. However, they could conceivably be an arbitrary computation, much the same as the predicates. Now we are ready to establish the usual closure properties for admissible predicates. The overall abductive process makes the system's reasoning process more transparent, by keeping a record of abduced predicates and missing information. We have next defined syntactical truth predicates for this language as fixed points of an increasing operator having some symmetry property. Women also use ai with manipulative predicates in request-type acts. Sentences like those in example 4, in which no accusative case is assigned to any argument, reflect these predicates' lack of accusative case-assigning ability. Unaccusative predicates are defined in argument structural terms as follows: they are predicates that originally lack an external argument in their argument structure representation. Table 2 presents the frequency distribution of various types of predicates produced by each subject and his or her control in the narrative production experiment. They know the -roles of predicates and are able to assign them directly to positions. However, evidence from the movement of subject arguments from the complement position of unaccusative predicates to the specifier of inflectional phrase suggests otherwise. The design context is expressed by the environment in which agents act and predicates describing design criteria. Contextual conditions represent a very compiled expression of knowledge and are represented as a disjunctive set of predicates and organized in hierarchies. Such arguments almost seem to be predicated on the assumption that children learn their language from its written form, rather than its spoken form. Property verbs used as predicates require the presence of a stative aspect morpheme, whereas action verbs do not. Again, they share the meaning that the possessor is predicated through or in its possessee. Considerations of this sort suggest a second, more general, question about the class of predicates described in the present work. They also begin to repair word order in complex noun-phrases and predicates. They are necessarily predicates of that which so instantiates. His" pre-verbal" concept of the self could only be predicated of beings who already had some grasp of language. Manually constructing predicates or, equivalently, set-valued expressions for such shapes is often a non-trivial proposition. Nevertheless, both the practice and the theoretical discourse of archaeology seem to be predicated on just such a stark distinction. Quite frequently, commentatives are one-place predicates, thus requiring a clausal subject. Priority is predicated upon an objective measure of wellbeing, not subjective welfare. Nouns are predicates which require articles to turn them into arguments. In contrast, the percentage of first mentions with change of location predicates stays relatively stable across ages in about a third of the instances. Particularly notable was the way active predicates were used by the two groups. In addition, punctual predicates in these contexts must be used with a habitual interpretation. Examples in show the use of do with distinct predicates. Third, he requires the three groups of predicates to be unilaterally interdefinable at all levels of stringency. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。