21-letter words containing v, i, l, e

fraudulent conversion — conversion committed with the intent to defraud
free alongside vessel — (of a shipment of goods) delivered to the dock without charge to the buyer, but excluding the cost of loading onto the vessel
friuli-venezia giulia — a region in NE Italy: formerly part of Venezia Giulia, most of which was ceded to Yugoslavia (now Croatia and Slovenia) in 1947. 2947 sq. mi. (7630 sq. km).
functional imperative — a requirement for the survival of any social system, as communication, control of conflict, or socialization.
generic type variable — (programming) (Also known as a "schematic type variable"). Different occurrences of a generic type variable in a type expression may be instantiated to different types. Thus, in the expression let id x = x in (id True, id 1) id's type is (for all a: a -> a). The universal quantifier "for all a:" means that a is a generic type variable. For the two uses of id, a is instantiated to Bool and Int. Compare this with let id x = x in let f g = (g True, g 1) in f id This looks similar but f has no legal Hindley-Milner type. If we say f :: (a -> b) -> (b, b) this would permit g's type to be any instance of (a -> b) rather than requiring it to be at least as general as (a -> b). Furthermore, it constrains both instances of g to have the same result type whereas they do not. The type variables a and b in the above are implicitly quantified at the top level: f :: for all a: for all b: (a -> b) -> (b, b) so instantiating them (removing the quantifiers) can only be done once, at the top level. To correctly describe the type of f requires that they be locally quantified: f :: ((for all a: a) -> (for all b: b)) -> (c, d) which means that each time g is applied, a and b may be instantiated differently. f's actual argument must have a type at least as general as ((for all a: a) -> (for all b: b)), and may not be some less general instance of this type. Type variables c and d are still implicitly quantified at the top level and, now that g's result type is a generic type variable, any types chosen for c and d are guaranteed to be instances of it. This type for f does not express the fact that b only needs to be at least as general as the types c and d. For example, if c and d were both Bool then any function of type (for all a: a -> Bool) would be a suitable argument to f but it would not match the above type for f.
give place to someone — to make room for or be superseded by someone
give sb a green light — If someone in authority gives you a green light, they give you permission to do something.
give someone a leg up — to help someone to climb an obstacle by pushing upwards
give someone a tinkle — to call someone on the telephone
give someone the slip — to move, flow, pass, or go smoothly or easily; glide; slide: Water slips off a smooth surface.
happy little vegemite — a person who is in good humour
home improvement loan — a government loan for house improvements such as insulation, adding a bathroom, or urgent repairs
ilya ilyich mechnikov — Élie [French ey-lee] /French eɪˈli/ (Show IPA), (Ilya Ilyich Mechnikov) 1845–1916, Russian zoologist and bacteriologist in France: Nobel Prize in medicine 1908.
in one's shirtsleeves — not wearing a jacket
inclusive disjunction — See under disjunction (def 2a).
industrial revolution — (sometimes initial capital letters) the totality of the changes in economic and social organization that began about 1760 in England and later in other countries, characterized chiefly by the replacement of hand tools with power-driven machines, as the power loom and the steam engine, and by the concentration of industry in large establishments.
inflationary universe — a version of the big bang theory in which the universe underwent very rapid growth during the first fraction of a second before it settled down to its current rate of expansion.
information retrieval — the systematic storage and recovery of data, as from a file, card catalog, or the memory bank of a computer. Abbreviation: IR.
internal jugular vein — Anatomy. a jugular vein.
kekule von stradonitz — Friedrich August [free-drikh ou-goo st] /ˈfri drɪx ˈaʊ gʊst/ (Show IPA), 1829–96, German chemist.
kleine-levin syndrome — prolonged episodes of excessive sleepiness often accompanied by overeating, hallucinations, and electroencephalogram changes, usually beginning in adolescence.
lafcadio's adventures — French Les Caves du Vatican. a novel (1914) by André Gide.
leave holding the bag — a container or receptacle of leather, plastic, cloth, paper, etc., capable of being closed at the mouth; pouch.
leave sb in the lurch — If someone leaves you in the lurch, they go away or stop helping you at a very difficult time.
level of significance — significance level.
light armored vehicle — an eight-wheeled armored reconnaissance car with a 25mm cannon, in service with the U.S. Army and Marine Corps in the 1980s.
live high off the hog — a hoofed mammal of the family Suidae, order Artiodactyla, comprising boars and swine.
live life to the full — If you say that someone lives life to the full, you mean that they try to gain a lot from life by being always busy and trying new activities.
live to tell the tale — If you survive a dangerous or frightening experience and so are able to tell people about it afterwards, you can say that you lived to tell the tale.
magneto-optical drive — magneto-optical disk
maple-leaved viburnum — dockmackie.
maximum value theorem — the theorem that for a real-valued function f whose domain is a compact set, there is at least one element x in the domain of f for which f (x) achieves its largest value.
model-view-controller — (programming) (MVC) A way of partitioning the design of interactive software; a software architecture pattern. The "model" is the internal workings of the program (the data objects and algorithms), the "view" is how the user sees the state of the model and the "controller" is how the user changes the state or provides input. MVC was the original kind of what is now sometimes called an MV* pattern. Trygve Reenskaug introduced it into Smalltalk-76 while visiting Xerox PARC in the 1970s.
mohammed reza pahlavi — 1919-80; shah of Iran (1941-79); deposed
motivational research — the application of the knowledge and techniques of the social sciences, especially psychology and sociology, to understanding consumer attitudes and behavior: used as a guide in advertising and marketing.
multi-level marketing — Multi-level marketing is a marketing technique which involves people buying a product, then earning a commission by selling it to their friends. The abbreviation MLM is also used.
national park service — a division of the Department of the Interior, created in 1916, that administers national parks, monuments, historic sites, and recreational areas.
nonproportional cover — Nonproportional cover is reinsurance cover such as excess of loss reinsurance where the reinsurer's liability is not calculated as a proportion of the insurance.
nonrestrictive clause — a relative clause that describes or supplements but is not essential in establishing the identity of the antecedent and is usually set off by commas in English. In This year, which has been dry, is bad for crops the clause which has been dry is a nonrestrictive clause.
nonviolent resistance — passive resistance, peaceful protest
objective correlative — a completely depicted situation or chain of events that objectifies a particular emotion in such a way as to produce or evoke that emotion in the reader.
observation satellite — an unmanned satellite that observes the earth and gathers data
of one's own volition — If you do something of your own volition, you do it because you have decided for yourself that you will do it and not because someone else has told you to do it.
overhead-valve engine — I-head engine.
personality inventory — a questionnaire designed to measure personality types or characteristics.
phillips screw-driver — a screw head having two partial slots crossed at right angles, driven by a special screwdriver (Phillips screwdriver)
politically motivated — If an act of violence is politically motivated, it is carried out in the interests of a particular government or political party.
primitive dicotyledon — any living relative of early angiosperms that branched off before the evolution of monocotyledons and eudicotyledons. The group comprises about 5 per cent of the world's plants
privacy enhanced mail —
private member's bill — In Britain, a Private Member's Bill is a law that is proposed by a Member of Parliament acting as an individual rather than as a member of his or her political party.

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?