0%

17-letter words containing d, i, r, e, c

  • liberal democracy — a democracy based on the recognition of individual rights and freedoms, in which decisions from direct or representative processes prevail in many policy areas
  • liberal democrats — (in Britain) a political party with centrist policies; established in 1988 as the Social and Liberal Democrats when the Liberal Party merged with the Social Democratic Party; renamed Liberal Democrats in 1989
  • liberal education — an education based primarily on the liberal arts, emphasizing the development of intellectual abilities as opposed to the acquisition of professional skills.
  • linear dependence — (in linear algebra) the property of a set of elements in a vector space in which at least one of the vectors in the set can be written as a linear combination of the others.
  • lipopolysaccaride — a molecule, consisting of lipid and polysaccharide components, that is the main constituent of the cell walls of Gram-negative bacteria
  • locomotive driver — an engine driver
  • magnetic meridian — a line on the earth's surface, passing in the direction of the horizontal component of the earth's magnetic field.
  • maintenance order — a court order stating that a divorced or legally separated man or woman must pay his or her former partner a regular sum in order to cover the costs of living
  • majority decision — a decision supported by more than half the people involved
  • make a difference — have a significant impact
  • managing director — manager who oversees a project
  • marais des cygnes — a river in E central Kansas and W Missouri, flowing SE to the Osage River. 150 miles (241 km) long.
  • mare fecunditatis — (Sea of Fertility) a dark plain in the fourth quadrant and extending into the first quadrant of the face of the moon: about 160,000 sq. mi. (415,000 sq. km).
  • marriage guidance — counselling for married couples
  • mascarene islands — a group of islands in the Indian Ocean, E of Madagascar, including Mauritius, Reunion, and Rodrigues.
  • mass merchandiser — a retailer or retail store that seeks to sell large quantities of goods quickly through such means as discounting, customer self-service, or unadorned display and packaging, as in a warehouse.
  • mechanical digger — a machine used for excavation
  • medical insurance — a type of insurance intended to cover possible future medical expenses
  • medical librarian — a person who works in a library of medical information kept for reference in a teaching hospital
  • medical marijuana — marijuana prescribed by a doctor and used as a medicine: medical marijuana in pill form or oral spray.
  • medical procedure — A medical procedure is a medical treatment or operation.
  • medicochirurgical — pertaining to medicine and surgery.
  • mercuric chloride — a white, crystalline, water-soluble, strongly acrid, highly poisonous solid, HgCl 2 , prepared by sublimation of chlorine with mercury, and used chiefly as an antiseptic.
  • mercuric sulphide — a compound of mercury, usually existing as a black solid (metacinnabarite) or a red solid (cinnabar or vermilion), which is used as a pigment. Formula: HgS
  • metaperiodic acid — the crystalline compound HIO4, an oxyacid of iodine
  • microdensitometer — a densitometer for measuring the density of minute areas of photographic negatives.
  • microdermabrasion — A cosmetic treatment in which the face is sprayed with exfoliant crystals to remove dead epidermal cells.
  • microencapsulated — Encapsulated using microencapsulation.
  • microfiche reader — a machine that displays on a screen a magnified image of a microfiche
  • microminiaturized — Simple past tense and past participle of microminiaturize.
  • microreproduction — a photographic image too small to be read by the unaided eye.
  • mid-oceanic ridge — the continuous, double-ridged chain of mountains on the ocean floor, extending through the middle of the Atlantic Ocean and into the Indian and Pacific oceans
  • midterm elections — elections held halfway through the term of office of a president during which governors, etc, but not a president, are elected
  • mileage indicator — a device on a vehicle such as a car, plane, etc which indicates the number of miles travelled
  • mineralocorticoid — Biochemistry. any of a group of corticosteroid hormones, synthesized by the adrenal cortex, that regulate the excretion or reabsorption of sodium and potassium by the kidneys, salivary glands, and sweat glands.
  • modulo arithmetic — modular arithmetic
  • multi-directional — extending or operating in several directions at the same time; functioning or going in more than one direction: a multidirectional stereo speaker system.
  • muscle dysmorphia — a mental disorder primarily affecting males, characterized by obsessions about a perceived lack of muscularity, leading to compulsive exercising, use of anabolic steroids, etc. Compare body dysmorphic disorder.
  • musical interlude — an interval in a play, event or occasion during which music is played
  • natural deduction — (logic)   A set of rules expressing how valid proofs may be constructed in predicate logic. In the traditional notation, a horizontal line separates premises (above) from conclusions (below). Vertical ellipsis (dots) stand for a series of applications of the rules. "T" is the constant "true" and "F" is the constant "false" (sometimes written with a LaTeX \perp). "^" is the AND (conjunction) operator, "v" is the inclusive OR (disjunction) operator and "/" is NOT (negation or complement, normally written with a LaTeX \neg). P, Q, P1, P2, etc. stand for propositions such as "Socrates was a man". P[x] is a proposition possibly containing instances of the variable x, e.g. "x can fly". A proof (a sequence of applications of the rules) may be enclosed in a box. A boxed proof produces conclusions that are only valid given the assumptions made inside the box, however, the proof demonstrates certain relationships which are valid outside the box. For example, the box below labelled "Implication introduction" starts by assuming P, which need not be a true proposition so long as it can be used to derive Q. Truth introduction: - T (Truth is free). Binary AND introduction: ----------- | . | . | | . | . | | Q1 | Q2 | ----------- Q1 ^ Q2 (If we can derive both Q1 and Q2 then Q1^Q2 is true). N-ary AND introduction: ---------------- | . | .. | . | | . | .. | . | | Q1 | .. | Qn | ---------------- Q1^..^Qi^..^Qn Other n-ary rules follow the binary versions similarly. Quantified AND introduction: --------- | x . | | . | | Q[x] | --------- For all x . Q[x] (If we can prove Q for arbitrary x then Q is true for all x). Falsity elimination: F - Q (Falsity opens the floodgates). OR elimination: P1 v P2 ----------- | P1 | P2 | | . | . | | . | . | | Q | Q | ----------- Q (Given P1 v P2, if Q follows from both then Q is true). Exists elimination: Exists x . P[x] ----------- | x P[x] | | . | | . | | Q | ----------- Q (If Q follows from P[x] for arbitrary x and such an x exists then Q is true). OR introduction 1: P1 ------- P1 v P2 (If P1 is true then P1 OR anything is true). OR introduction 2: P2 ------- P1 v P2 (If P2 is true then anything OR P2 is true). Similar symmetries apply to ^ rules. Exists introduction: P[a] ------------- Exists x.P[x] (If P is true for "a" then it is true for all x). AND elimination 1: P1 ^ P2 ------- P1 (If P1 and P2 are true then P1 is true). For all elimination: For all x . P[x] ---------------- P[a] (If P is true for all x then it is true for "a"). For all implication introduction: ----------- | x P[x] | | . | | . | | Q[x] | ----------- For all x . P[x] -> Q[x] (If Q follows from P for arbitrary x then Q follows from P for all x). Implication introduction: ----- | P | | . | | . | | Q | ----- P -> Q (If Q follows from P then P implies Q). NOT introduction: ----- | P | | . | | . | | F | ----- / P (If falsity follows from P then P is false). NOT-NOT: //P --- P (If it is not the case that P is not true then P is true). For all implies exists: P[a] For all x . P[x] -> Q[x] ------------------------------- Q[a] (If P is true for given "a" and P implies Q for all x then Q is true for a). Implication elimination, modus ponens: P P -> Q ---------- Q (If P and P implies Q then Q). NOT elimination, contradiction: P /P ------ F (If P is true and P is not true then false is true).
  • nichiren buddhism — a doctrine of salvation based on the Lotus Sutra.
  • non-consideration — the act of considering; careful thought; meditation; deliberation: I will give your project full consideration.
  • non-containerized — to package (freight) in uniform, sealed containers for shipment.
  • non-corresponding — identical in all essentials or respects: corresponding fingerprints.
  • non-discretionary — subject or left to one's own discretion.
  • nonproductiveness — The quality of being nonproductive.
  • nuclear radiation — Physics. radiation in the form of elementary particles emitted by an atomic nucleus, as alpha rays or gamma rays, produced by decay of radioactive substances or by nuclear fission.
  • nursery education — education provided at a school for young children, usually from three to five years old
  • object identifier — (programming)   (OID) Generally an implementation-specific integer or pointer that uniquely identifies an object.
  • online dictionary — a dictionary that is available on the Internet or World Wide Web and accessed through a Web browser using a computer or a mobile device, primarily by typing a query term into a search box on the site. Online dictionaries like Dictionary.com offer immediate, direct access through large databases to a word's spelling and meanings, plus a host of ancillary information, including its variant spellings, pronunciation, inflected forms, origin, and derived forms, as well as supplementary notes on matters of interest or concern about how the word is used: Some people think online dictionaries will make print dictionaries obsolete.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?