Sentence examples for separate definition from inspiring English sources

With this solution, the Replacement Axiom will be (as required) stronger than Zermelo's original Separation Axiom and indeed can replace it; however, in Fraenkel's system, one can prove his version of the Replacement Axiom from his version of the Separation Axiom, which shows that his separate definition of function is not sufficiently strong.

Leslie said that each bank has a separate definition of an 'SME' (small and medium-size enterprise), and that other statistical flaws made the figures almost meaningless.

Microsoft's Encarta also includes Barbie in the article on "Doll," but provides a brief separate definition as well, which replicates the World Book information in slightly different form: 1959, large wardrobe, and introduction of dark-skinned Barbies.

The first five words of his clue, with the possible addition of 'perhaps', could have stood as a satisfactory '& lit.', but 'or hook' is without doubt an attractive addition, supplementing the golfing context while adding a quite separate definition of PLUG.

We have reviewed reports of cryptococcal IRIS and have developed a consensus case definition specifically for paradoxical crytopcoccal IRIS in patients with HIV-1 and known cryptococcal disease before ART, and a separate definition for incident cryptococcosis developed during ART (termed ART-associated cryptococcosis), for which a proportion of cases are likely to be unmasking cryptococcal IRIS.

e) If the American Heritage Dictionary (5th edition) did not list a separate definition for a common phrase, Google's built in dictionary was consulted.

Having separate definitions for "Indian" and "tribe" is essential for the administration of IRA benefits.

Empty lines should be used to separate definitions inside a file or a module.

James Thompson, the chairman of the American Chamber of Commerce, said that his understanding was that Beijing ministries would set separate definitions for each industry to determine which entities would qualify as Hong Kong companies.

For example, Euclid provides separate definitions of proportion (v def. 5, and vii def. 20).

We assume that the idea is now clear without providing separate definitions of "→-boolean", "↔-boolean", "¬-boolean", "⊥-boolean", etc.