predicates

听听怎么读
英 ['predɪkeɪts]
美 ['predɪkeɪts]
是什么意思
  • n.

    谓语( predicate的名词复数 );

  • v.

    断言,断定( predicate的第三人称单数 );表明,阐明,断言;

  • 英英释义

    predicate[ 'predikeits ]

    • n.
      • (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula

        "`Socrates is a man' predicates manhood of Socrates"

      • one of the two main constituents of a sentence; the predicate contains the verb and its complements

        同义词:verb phrase

    • v.
      • make the (grammatical) predicate in a proposition

        "The predicate `dog' is predicated of the subject `Fido' in the sentence `Fido is a dog'"

      • affirm or declare as an attribute or quality of

        "The speech predicated the fitness of the candidate to be President"

        同义词:proclaim

      • involve as a necessary condition of consequence; as in logic

        "solving the problem is predicated on understanding it well"

        同义词:connote

    学习怎么用

    词组短语

    (grammatical) predicate(语法)谓语

    predicate logic谓词逻辑

    predicate verb谓语动词

    predicate calculus谓词演算

    双语例句

    用作名词(n.)
    1. No longer supports noninteger positional predicates.
      不再支持非整数的位置谓词。
    2. The stratification of New Foundations generalizes readily to languages with more predicates and with term constructions.
      新基础的层化推广到了带有更多谓词和带有项构造的语言。

    权威例句

    Korat: automated testing based on Java predicates
    Korat: automated testing based on Java predicates
    Improved histograms for selectivity estimation of range predicates
    Intelligent crawling on the World Wide Web with arbitrary predicates
    Machine invention of first-order predicates by inverting resolution
    Stage-level and individual-level predicates
    Stream processing of XPath queries with predicates
    Symmetry-Breaking Predicates for Search Problems
    Efficient set joins on similarity predicates
    Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates