例句與造句

1. The experiential subtheory also correlates with another one of Sternberg's proposed types of giftedness.
2. studied a subtheory of ZFC consisting of the axioms of extensionality, union, powerset, replacement, and choice.
3. :In the standard model, in particular the subtheory of quantum electrodynamics, photons only interact with electrically charged particles such as electrons.
4. Likewise, the logic formed the basis of a decidable subtheory of predicate logic, called'Direct logic'( Ketonen & Wehrauch, 1984; Ketonen & Bellin, 1989 ).
5. Crabb?also discussed a subtheory of NFI, in which only parameters ( free variables ) are allowed to have the type of the set asserted to exist by an instance of " Comprehension ".
6. It's difficult to find subtheory in a sentence. 用subtheory造句挺難的
7. Recently, conservative extensions have been used for defining a notion of ontologies : if an ontology is formalized as a logical theory, a subtheory is a module if the whole ontology is a conservative extension of the subtheory.
8. Recently, conservative extensions have been used for defining a notion of ontologies : if an ontology is formalized as a logical theory, a subtheory is a module if the whole ontology is a conservative extension of the subtheory.
9. In his contributions in morphology, Dressler established, together with Wurzel and Panagl, a subtheory of'Natural Morphology'based on the establishment of more or less " natural " operations on universal, typological, or language-specific levels, respectively.
10. However, Bart Kosko shows in Fuzziness vs . Probability that probability theory is a subtheory of fuzzy logic, as questions of degrees of belief in mutually-exclusive set membership in probability theory can be represented as certain cases of non-mutually-exclusive graded membership in fuzzy theory.
11. In his " Introduction " to his 1921 Post places the blame on Russell's notion of apparent variable : " Whereas the complete theory [ of Whitehead and Russell ( 1910, 1912, 1913 ) ] requires for the enunciation of its propositions real and apparent variables, which represent both individuals and propositional functions of different kinds, and as a result necessitates the cumbersome theory of types, this subtheory uses only real variables, and these real variables represent but one kind of entity, which the authors have chosen to call elementary propositions ".