0%

17-letter words containing c, o, r, t, a, d

  • hard nut to crack — a dry fruit consisting of an edible kernel or meat enclosed in a woody or leathery shell.
  • henry cabot lodge — Henry Cabot, 1850–1924, U.S. public servant and author: senator 1893–1924.
  • heterochlamydeous — (of a plant) having a perianth consisting of distinct sepals and petals
  • historical method — the process of establishing general facts and principles through attention to chronology and to the evolution or historical course of what is being studied.
  • homeland security — national defence
  • hydroelectrically — Using hydroelectric power.
  • hydrogasification — a high-temperature, high-pressure process for producing liquid or gaseous fuels from fine particles of coal and hydrogen gas
  • hydrotherapeutics — hydrotherapy.
  • icositetrahedrons — Plural form of icositetrahedron.
  • ideogrammatically — In terms of, or by means of, ideograms.
  • idiosyncratically — pertaining to the nature of idiosyncrasy, or something peculiar to an individual: The best minds are idiosyncratic and unpredictable as they follow the course of scientific discovery.
  • in the background — behind the focus of attention
  • inconsiderateness — without due regard for the rights or feelings of others: It was inconsiderate of him to keep us waiting.
  • incubation period — the period between infection and the appearance of signs of a disease.
  • indian rope-trick — the supposed Indian feat of climbing an unsupported rope
  • indicator diagram — a graphical or other representation of the cyclic variations of pressure and volume within the cylinder of a reciprocating engine obtained by using an indicator
  • indicator species — See at indicator (def 6).
  • indirect taxation — duty paid on goods or services
  • induction furnace — a type of electric furnace used for melting a charge of scrap by the heat produced by its own electrical resistance.
  • industrial action — job action.
  • industrial school — a school for teaching one or more branches of industry; trade or vocational school.
  • integrated course — a course that covers several subjects
  • integrated optics — an assembly of miniature optical elements of a size comparable to those used in electronic integrated circuits.
  • integrated school — (in New Zealand) a private or church school that has joined the state school system
  • interactive video — a computer-optical disk system that displays still or moving video images as determined by computer program and user needs
  • intercommunicated — Simple past tense and past participle of intercommunicate.
  • lagging indicator — A lagging indicator is an economic indicator that changes following a change in the economy, such as unemployment.
  • leading indicator — A leading indicator is an economic indicator that changes before a change in the economy, and that can be used to predict future economic or financial activity.
  • 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.
  • 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
  • managing director — manager who oversees a project
  • manufactured home — a prefabricated house, assembled in modular sections.
  • merchant of death — a company, nation, or person that sells military arms on the international market, usually to the highest bidder and without scruple or regard for political ramifications.
  • metaperiodic acid — the crystalline compound HIO4, an oxyacid of iodine
  • microdistillation — the distillation of minute quantities of material.
  • microencapsulated — Encapsulated using microencapsulation.
  • microminiaturized — Simple past tense and past participle of microminiaturize.
  • 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.
  • mitochondrial dna — DNA found in mitochondria, which contains some structural genes and is generally inherited only through the female line
  • 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.
  • nasolacrimal duct — a membranous canal extending from the lacrimal sac to the nasal cavity, through which tears are discharged into the nose.
  • 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).
  • new scotland yard — See under Scotland Yard (def 1).
  • nitroxanthic acid — picric acid.
  • 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.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?