(grammar, of an adjectival or nominal phrase) Modifying a noun while in a predicate phrase, which predicate phrase is other than the noun phrase and occurs after a verb, as a predicate; contrasted with attributive.

(grammar) An element of the predicate of a sentence which complements the subject or object by means of the verb. Predicatives may be nominal or adjectival.

plural of predication

Anything affirmable of another; especially, a general attribute or notion as affirmable of, or applicable to, many individuals.

Capable of being predicated or affirmed of something; affirmable; attributable.

(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. / (logic) First-order logic.

(grammar) A term that may sometimes be used to describe the case marking a predicative nominative (a noun that renames the subject often following a linking verb), or for the adjective that agrees with it (predicative adjective).

plural of predicative case

(grammar) An adjective that is not part of the noun clause it modifies, but is linked to it with a copula.

(logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.