Sentence examples for is substitutable for from inspiring English sources

E.g.,     φ → Universal Instantiation: ∀αφ → φ, where φ is the result of uniformly substituting τ for the free occurrences of α in φ and τ is substitutable for α (i.e., no variable free in τ becomes bound by any quantifier in φ.

There are very many forms including "lost," "ate," and "stole"—that can occur, as here, in constructions with a member of B and can also occur alone; for example, "lost" is substitutable for "stole the money," as "stole" is substitutable for either or for "lost his watch".

I have come up with six key reasons why the current tourism model is way past its prime and why more of us need to focus on creating alternatives: 1. Mass industrial tourism is based on the assembly, distribution and consumption of packaged products and, as a consequence, one product is substitutable for another.

A term (i.e., a variable or individual constant) τ is substitutable for a variable α in a formula φ just in case τ is an individual constant or no free of occurrence of α in φ is in the scope of a quantifier occurrence of the form ⌈∀τ⌉ or ⌈∃τ⌉.) 10.

Mg2+ is unstable in ninefold coordination in aragonite and does not readily enter into the bulk aragonite structure; however, Mg2+ is expected to be substitutable for Ca2+ at sites near the surface.

This evidence suggests that ChR2-expressing RGCs are substitutable for rod photoreceptor cells in the retina.

Since calories are substitutable for a generalist predator (all other things being equal, such as prey defensive behaviors, digestibility of the prey tissues, etc)., it must not only be the calories contained within males that are important for female L. tarantula.

Although these results do not rule out completely the involvement of p62 in Parkin-mediated mitophagy, a role for p62 in Parkin-dependent mitochondrial degradation is substitutable in MEFs (see Discussion).

A commodity is substitutable.

And finally, the proportional total production approach ignores that insect pollination is substitutable with alternatives.

This could suggest that paternal direct investments may not be substitutable by stepfather investments for children's socio-emotional development.