Predicate

From GM-RKB
(Redirected from predicate)
Jump to navigation Jump to search

See: Predicate Function; Predicate Phrase;, Predicate Logic; Clause; First-Order Logic; Logic Program.



References

2009

  • WordNet predicate
    • make the (grammatical) predicate in a proposition; "The predicate `dog' is predicated of the subject `Fido' in the sentence `Fido is a dog'"
    • one of the two main constituents of a sentence; the predicate contains the verb and its complements
  • en.wikipedia.org/wiki/Predicate_(logic)
    • Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a sentence or statement P concerning the variable object x. ...


  • http://en.wiktionary.org/wiki/predicate
    • Noun
      • 1. (grammar) The part of the sentence (or clause) which states something about the subject.
        • In "The dog barked very loudly", the subject is "the dog" and the predicate is "barked very loudly".
      • 2. (logic) A statement that may be true or false depending on the values of its variables.
      • 3. (computing) An operator or function that returns either true or false.


  • en.wikibooks.org/wiki/Programming:Prolog_Glossary
    • A set of clauses or a relation.