0%

17-letter words containing d, l

  • modular sb-prolog — Modular Prolog
  • modulo arithmetic — modular arithmetic
  • monkeygland sauce — a piquant sauce, made from tomatoes, ketchup, fruit chutney, garlic, spices, etc
  • most well studied — marked by or suggestive of conscious effort; not spontaneous or natural; affected: studied simplicity.
  • mounted policeman — policemen who patrol on horseback
  • movable-do system — a system of solmization in which the syllable do can be transposed to the tonic of any key.
  • 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.
  • multidisciplinary — composed of or combining several usually separate branches of learning or fields of expertise: a multidisciplinary study of the 18th century.
  • multimedia system — multimedia
  • multitudinousness — The state or condition of being multitudinous.
  • mundane astrology — the astrology of worldly events, in contrast to the astrology of the individual: used especially in interpretations and forecasts involving politics, the stock market, weather, and disasters.
  • 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
  • mutual inductance — the ratio of the electromotive force in one of two circuits to the rate of change of current in the other circuit.
  • naked singularity — an infinitely dense point mass without a surrounding black hole
  • narrow-shouldered — having shoulders which do not extend very far from the neck; not broad-shouldered
  • nasolacrimal duct — a membranous canal extending from the lacrimal sac to the nasal cavity, through which tears are discharged into the nose.
  • national identity — characteristics of a given nationality
  • 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).
  • never looked back — If you say that someone did something and then never looked back, you mean that they were very successful from that time on.
  • new england aster — a tall composite plant, Aster novae-angliae, of the northeastern U.S., the flowers of which have lavender to deep-purple rays.
  • new england range — a plateau in New South Wales in SE Australia, in the Great Dividing Range, rising to 5000 feet (1524 meters).
  • new scotland yard — See under Scotland Yard (def 1).
  • newcastle disease — a rapidly spreading virus-induced disease of birds and domestic fowl, as chickens, marked by respiratory difficulty, reduced egg production and, in chicks, paralysis.
  • newfoundland time — a form of civil time observed on the island of Newfoundland, one and one-half hours later than Eastern time and a half hour later than Atlantic time.
  • nial systems ltd. — Distributors of Q'NIAL. Address: Ottawa Canada. Telephone: Canada (613) 234 4188.
  • nightshade family — the plant family Solanaceae, characterized by herbaceous plants, trees, shrubs, and vines having alternate, simple or pinnate leaves, conspicuous flowers, and fruit in the form of a berry or capsule, and including belladonna, eggplant, nightshade, peppers of the genus Capsicum, petunia, potato, tobacco, and tomato.
  • nitrohydrochloric — (chemistry) Of, pertaining to, or containing, nitric acid and hydrochloric acids.
  • non-biodegradable — capable of decaying through the action of living organisms: biodegradable paper; biodegradable detergent.
  • nondenominational — of or relating to a denomination or denominations.
  • nonunderstandable — Not understandable.
  • nord-ostsee kanal — German name of Kiel Canal.
  • not bat an eyelid — When something surprising or shocking happens, if someone doesn't bat an eyelid in British English, or doesn't bat an eye in American English, they remain calm and do not show any reaction.
  • not the full quid — mentally subnormal
  • nuclear deterrent — a country's nuclear weapons viewed as a deterrent to other countries from attacking
  • 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.
  • nuclear threshold — the point in war at which a combatant brings nuclear weapons into use
  • occipital condyle — a protrusion on the occipital bone of the skull that forms a joint with the first cervical vertebra, enabling the head to move relative to the neck.
  • of the old school — If you approve of someone because they have good qualities that used to be more common in the past, you can describe them as one of the old school.
  • old age pensioner — An old age pensioner is a person who is old enough to receive an pension from their employer or the government.
  • old contemptibles — the British expeditionary force to France in 1914
  • old norman french — Norman French (sense 1)
  • old orchard beach — a resort town in S Maine.
  • old people's home — An old people's home is a place where old people live and are cared for when they are too old to look after themselves.
  • old red sandstone — a thick sequence of sedimentary rock (generally, but not always, red) deposited in Britain and NW Europe during the Devonian period
  • old south arabian — a group of four closely related Semitic languages, having a writing system and used from about the eighth to the fifth centuries b.c. in the southern part of Arabia.
  • old spanish trail — an overland route from Santa Fe, N. Mex., to Los Angeles, Calif., first marked out in 1776 by Spanish explorers and missionaries.
  • old wives' summer — a period of fine, summerlike weather occurring in Europe in autumn.
  • old-man-and-woman — houseleek (def 1).
  • on the barrelhead — upon being presented for sale; at the time of delivery
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?