The phrase "as predicate" is correct and usable in written English.
It is typically used in grammatical discussions to refer to the part of a sentence that expresses what is said about the subject.
Example: "In the sentence 'The cat is sleeping,' the phrase 'is sleeping' functions as predicate."
Alternatives: "as a verb phrase" or "as a statement".
Frege analyzed ordinary predication in these systems, and so they can also be conceived as predicate calculi.
leaves it up to the respective countries to define the terms of the crime as predicate offense for money laundering".
To use alleged wire fraud in oil sales and tax matters as predicate acts for a prosecution under RICO began to look like a misuse of a law intended by Congress to be used in other situations.
If x, y, z, … are used as individual variables (replaceable by names of individuals) and the symbols ϕ (phi), ψ (psi), χ (chi), … as predicate variables (replaceable by predicates), the formula ϕx is used to express the form of the propositions in question.
Hence, Schaffner endeavored to find molecular equivalents of such terms as "gene", as well as predicate terms, such as "is dominant".
The multiple as predicate generates a set of philosophical problems under the rubric of "the one and the many" (a thing is one or multiple, one and multiple, and so on).
For example, the schema designed for a diagnosis point of view permits only semantic predications containing CAUSES, DIAGNOSIS, LOCATION_OF, COEXISTS_WITH, PROCESS_OF, and ISA as predicates, and limits their arguments to a group of specifically named semantic types.
The film plausibly depicts the bond that developed between Connolly and Bulger as predicated on neighborhood loyalty.
The US Internal Revenue Service has criticised Project Goldcrest for depriving it of tax, and attacked core features as predicated on "legally baseless" methods.
The system extracts meaning from observed visual scenes by exploiting perceptual primitives related to motion and contact in order to represent events and spatial relations as predicate-argument structures.
Another early model was the logic of universals that serve as predicates.
