Assertion: functional predicate | /r/HasProperty | applied to an object term
Facets:
value: to produce another object term
type: PURPOSE
Source sentences:
text: In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.