Sentence examples for a partial function from from inspiring English sources
The town_name element object is a (partial) function from E to PCDATA.
In addition, there are two operations: (the declaration part of the schema) called Lookup which is a (partial) function from the Cartesian product of Store and Location to Numerals and Update which is a total function from the Cartesian product of Store, Location and Numerals to Store.
The syntactic algebra is interpreted through a meaning-assignment m, a function from E to M, the set of available meanings for the expressions of E. (In English: there is a partial function from the meanings of e1,…,ek to the meaning of the expression built from e1,…,ek through an application of the syntactic rule F).
Measurable function: mathematically, let X be a non-empty set, let S be a (sigma )-field of subsets of X, let (f) be a partial function from X to, (overline{mathfrak {R}},overline{mathfrakak {R}}=mathfrak {R}cup left{ {-infty } right} cup left{ {+infty } right} ) and let (A) be an element of S. We say that (f) is measurable on (A)iff: for every real number r holds, as in [12].
A match of BGP over RDF graph is defined as a partial function (mu) from (V_mathrm{Var}) to the vertices in the RDF graph.
To handle such things, the representation of an intension can be generalized from being a total function from states to objects, to being a partial function.
If \(f\) and \(g\) are two partial functions from a space \(S\) to \(R\), one writes \(f\subseteq g\) to mean that whenever \(f(x)\simeq w\) then also \(g(x)\simeq w\).
In DRT this is done by means of embedding functions, which are partial functions from discourse referents to individuals in a given model M.
Partial relations are partial functions from \ k\ -tuples to \ k\ -tuples{to}, {\textsf{f}}\{\).
The former are conceived as partial functions from the logical space.
We would simply take meanings to be partial functions from DRSs to sets of DRSs, and then replace each construction rule with an appropriate such function.
