| slovo | definícia |
belle
(mass) | belle
- krásavica |
belle
(encz) | belle,krásná žena n: kamarádJan |
belle
(encz) | belle,krásný adj: francouzský výraz web |
belle
(encz) | belle,pěkný adj: francouzský výraz web |
belle
(encz) | belle,vznešený adj: francouzský výraz web |
Belle
(gcide) | Belle \Belle\ (b[e^]l), n. [F. belle, fem. of bel, beau,
beautiful, fine. See Beau.]
A young lady of superior beauty and attractions; a handsome
lady, or one who attracts notice in society; a fair lady.
[1913 Webster] |
belle
(wn) | belle
n 1: a young woman who is the most charming and beautiful of
several rivals; "she was the belle of the ball" |
| | podobné slovo | definícia |
belles-lettres
(encz) | belles-lettres,beletrie n: Zdeněk Brožbelles-lettres,krásná literatura n: Zdeněk Brož |
belletrist
(encz) | belletrist,esejista n: Zdeněk Brož |
belletristic
(encz) | belletristic,beletristický adj: Zdeněk Brož |
belleville
(encz) | Belleville,Belleville n: [jmén.] příjmení Zdeněk Brož a automatický
překlad |
corbelled
(encz) | corbelled, adj: |
labelled
(encz) | labelled,označený adj: Zdeněk Brožlabelled,popsán adj: Milan Svoboda |
mislabelled
(encz) | mislabelled, |
rebelled
(encz) | rebelled, |
relabelled
(encz) | relabelled, |
rosabelle
(encz) | Rosabelle, |
unlabelled
(encz) | unlabelled,neoznačený adj: Zdeněk Brož |
belleville
(czen) | Belleville,Bellevillen: [jmén.] příjmení Zdeněk Brož a automatický
překlad |
Belle
(gcide) | Belle \Belle\ (b[e^]l), n. [F. belle, fem. of bel, beau,
beautiful, fine. See Beau.]
A young lady of superior beauty and attractions; a handsome
lady, or one who attracts notice in society; a fair lady.
[1913 Webster] |
Belled
(gcide) | Bell \Bell\, v. t. [imp. & p. p. Belled; p. pr. & vb. n.
Belling.]
To put a bell upon; as, to bell the cat.
[1913 Webster]
2. To make bell-mouthed; as, to bell a tube.
[1913 Webster]Belled \Belled\ (b[e^]ld), a.
Hung with a bell or bells.
[1913 Webster] |
Belleek ware
(gcide) | Belleek ware \Bel*leek" ware\
A porcelainlike kind of decorative pottery with a high gloss,
which is sometimes iridescent. A very fine kind is made at
Belleek in Ireland.
[Webster 1913 Suppl.] |
bellefleur
(gcide) | Bellflower \Bell"flow`er\, n. [F. bellefleur, lit., beautiful
flower.]
A kind of apple. The yellow bellflower is a large, yellow
winter apple. [Written also bellefleur.]
[1913 Webster] |
Belle-lettrist
(gcide) | Belle-lettrist \Belle-let"trist\, n.
One versed in belles-lettres.
[1913 Webster] |
Bellerophon
(gcide) | Bellerophon \Bel*ler"o*phon\, n. (Paleon.)
A genus of fossil univalve shells, believed to belong to the
Heteropoda, peculiar to the Paleozoic age.
[1913 Webster] |
Belles-lettres
(gcide) | Belles-lettres \Belles-let"tres\, n. pl. [F.]
Polite or elegant literature; the humanities; -- used
somewhat vaguely for literary works in which imagination and
taste are predominant.
[1913 Webster] Belletristic |
Belletristic
(gcide) | Belletristic \Bel`le*tris"tic\, Belletristical
\Bel`le*tris"tic*al\, a.
Occupied with, or pertaining to, belles-lettres. "An
unlearned, belletristic trifler." --M. Arnold.
[1913 Webster] |
Belletristical
(gcide) | Belletristic \Bel`le*tris"tic\, Belletristical
\Bel`le*tris"tic*al\, a.
Occupied with, or pertaining to, belles-lettres. "An
unlearned, belletristic trifler." --M. Arnold.
[1913 Webster] |
Gabelle
(gcide) | Gabelle \Ga`belle"\, n. [F. See Gabel.]
A tax, especially on salt. [France] --Brande & C.
[1913 Webster] |
Gabelleman
(gcide) | Gabelleman \Ga*belle"man\, n.
A gabeler. --Carlyle.
[1913 Webster] |
Labelled
(gcide) | Label \La"bel\, v. t. [imp. & p. p. Labeled (l[=a]"b[e^]ld) or
Labelled; p. pr. & vb. n. Labeling or Labelling.]
1. To affix a label to; to mark with a name, etc.; as, to
label a bottle or a package.
[1913 Webster]
2. To affix in or on a label. [R.]
[1913 Webster] |
labeller
(gcide) | Labeler \La"bel*er\ (l[=a]"b[e^]l*[~e]r), n.
One who labels. [Written also labeller.]
[1913 Webster] |
Libelled
(gcide) | Libel \Li"bel\, v. t. [imp. & p. p. Libeled (-b[e^]ld) or
Libelled; p. pr. & vb. n. Libeling or Libelling.]
1. To defame, or expose to public hatred, contempt, or
ridicule, by a writing, picture, sign, etc.; to lampoon.
[1913 Webster]
Some wicked wits have libeled all the fair. --Pope.
[1913 Webster]
2. (Law) To proceed against by filing a libel, particularly
against a ship or goods.
[1913 Webster] |
Libellee
(gcide) | Libellee \Li`bel*lee"\, n. (Law)
(a) The party against whom a libel has been filed; --
corresponding to defendant in a common law action.
(b) The defendant in an action of libel.
[Webster 1913 Suppl.] |
libeller
(gcide) | Libeler \Li"bel*er\ (-[~e]r), n.
One who libels. [Written also libeller.] " Libelers of
others." --Buckminster.
[1913 Webster] |
Rebelled
(gcide) | Rebel \Re*bel"\ (r[-e]*b[e^]l"), v. i. [imp. & p. p. Rebelled
(r[-e]*b[e^]ld); p. pr. & vb. n. Rebelling.] [F. rebeller,
fr. L. rebellare to make war again; pref. re- again + bellare
to make war, fr. bellum war. See Bellicose, and cf. Revel
to carouse.]
1. To renounce, and resist by force, the authority of the
ruler or government to which one owes obedience. See
Rebellion.
[1913 Webster]
The murmur and the churls' rebelling. --Chaucer.
[1913 Webster]
Ye have builded you an altar, that ye might rebel
this day against the Lord. --Josh. xxii.
16.
[1913 Webster]
2. To be disobedient to authority; to assume a hostile or
insubordinate attitude; to revolt.
[1913 Webster]
How could my hand rebel against my heart?
How could your heart rebel against your reason?
--Dryden.
[1913 Webster] |
Rebeller
(gcide) | Rebeller \Re*bel"ler\ (r[-e]*b[e^]l"l[~e]r), n.
One who rebels; a rebel.
[1913 Webster] |
Rubelle
(gcide) | Rubelle \Ru*belle"\, n. [L. rubellus reddish.]
A red color used in enameling. --Weale.
[1913 Webster] |
Umbellet
(gcide) | Umbellet \Um"bel*let\, n. (Bot.)
A small or partial umbel; an umbellule.
[1913 Webster] |
belle de nuit
(wn) | belle de nuit
n 1: pantropical climber having white fragrant nocturnal flowers
[syn: moonflower, belle de nuit, Ipomoea alba] |
belle isle cress
(wn) | Belle Isle cress
n 1: of southwestern Europe; cultivated in Florida [syn: {Belle
Isle cress}, early winter cress, land cress, {American
cress}, American watercress, Barbarea verna, {Barbarea
praecox}] |
belle miriam silverman
(wn) | Belle Miriam Silverman
n 1: United States operatic soprano (born in 1929) [syn:
Sills, Beverly Sills, Belle Miriam Silverman] |
belleau wood
(wn) | Belleau Wood
n 1: a World War I battle in northwestern France where the
Allies defeated the Germans in 1918 [syn: {Battle of the
Marne}, Belleau Wood, Chateau-Thierry, Marne River] |
bellerophon
(wn) | Bellerophon
n 1: (Greek mythology) a mythical hero of Corinth who performed
miracles on the winged horse Pegasus (especially killing
the monster Chimera) |
belles lettres
(wn) | belles lettres
n 1: creative writing valued for esthetic content [syn: {belles-
lettres}, belles lettres] |
belles-lettres
(wn) | belles-lettres
n 1: creative writing valued for esthetic content [syn: {belles-
lettres}, belles lettres] |
belletristic
(wn) | belletristic
adj 1: written and regarded for aesthetic value rather than
content |
corbelled
(wn) | corbelled
adj 1: having a corbel |
labelled
(wn) | labelled
adj 1: bearing or marked with a label or tag; "properly labeled
luggage" [syn: labeled, labelled, tagged] [ant:
unlabeled, unlabelled, untagged] |
unlabelled
(wn) | unlabelled
adj 1: lacking a label or tag; "unlabeled luggage is liable to
be lost" [syn: unlabeled, unlabelled, untagged]
[ant: labeled, labelled, tagged] |
isabelle
(foldoc) | Isabelle
Isabelle-92
Isabelle-93
A generic theorem prover with support for
several object-logics, developed by Lawrence C. Paulson
in collaboration with {Tobias
Nipkow (http://in.tum.de/~nipkow/)} at the {Technical
University of Munich}.
A system of type classes allows polymorphic object-logics
with overloading and automatic type inference.
Isabelle supports first-order logic - constructive and
classical versions; higher-order logic, similar to Gordon's
HOL; Zermelo Fränkel set theory; an extensional version
of Martin Löf's type theory, the classical first-order
sequent calculus, LK; the modal logics T, S4, and
S43; and Logic for Computable Functions.
An object logic's syntax and inference rules are specified
declaratively allowing single-step proof construction.
Proof procedures can be expressed using "tactics" and
"tacticals". Isabelle provides control structures for
expressing search procedures and generic tools such as
simplifiers and classical theorem provers which can be applied
to object-logics. Isabelle is built on top of Standard ML
and uses its user interface.
(http://cl.cam.ac.uk/Research/HVG/Isabelle/).
Mailing list: isabelle-users@cl.cam.ac.uk.
["tactics"? "tacticals"?]
(1999-07-26)
|
isabelle-92
(foldoc) | Isabelle
Isabelle-92
Isabelle-93
A generic theorem prover with support for
several object-logics, developed by Lawrence C. Paulson
in collaboration with {Tobias
Nipkow (http://in.tum.de/~nipkow/)} at the {Technical
University of Munich}.
A system of type classes allows polymorphic object-logics
with overloading and automatic type inference.
Isabelle supports first-order logic - constructive and
classical versions; higher-order logic, similar to Gordon's
HOL; Zermelo Fränkel set theory; an extensional version
of Martin Löf's type theory, the classical first-order
sequent calculus, LK; the modal logics T, S4, and
S43; and Logic for Computable Functions.
An object logic's syntax and inference rules are specified
declaratively allowing single-step proof construction.
Proof procedures can be expressed using "tactics" and
"tacticals". Isabelle provides control structures for
expressing search procedures and generic tools such as
simplifiers and classical theorem provers which can be applied
to object-logics. Isabelle is built on top of Standard ML
and uses its user interface.
(http://cl.cam.ac.uk/Research/HVG/Isabelle/).
Mailing list: isabelle-users@cl.cam.ac.uk.
["tactics"? "tacticals"?]
(1999-07-26)
|
isabelle-93
(foldoc) | Isabelle
Isabelle-92
Isabelle-93
A generic theorem prover with support for
several object-logics, developed by Lawrence C. Paulson
in collaboration with {Tobias
Nipkow (http://in.tum.de/~nipkow/)} at the {Technical
University of Munich}.
A system of type classes allows polymorphic object-logics
with overloading and automatic type inference.
Isabelle supports first-order logic - constructive and
classical versions; higher-order logic, similar to Gordon's
HOL; Zermelo Fränkel set theory; an extensional version
of Martin Löf's type theory, the classical first-order
sequent calculus, LK; the modal logics T, S4, and
S43; and Logic for Computable Functions.
An object logic's syntax and inference rules are specified
declaratively allowing single-step proof construction.
Proof procedures can be expressed using "tactics" and
"tacticals". Isabelle provides control structures for
expressing search procedures and generic tools such as
simplifiers and classical theorem provers which can be applied
to object-logics. Isabelle is built on top of Standard ML
and uses its user interface.
(http://cl.cam.ac.uk/Research/HVG/Isabelle/).
Mailing list: isabelle-users@cl.cam.ac.uk.
["tactics"? "tacticals"?]
(1999-07-26)
|
LIBELLE
(bouvier) | LIBELLEE. A party against whom a libel has been filed in chancery
proceedings, or in admiralty, corresponding to the defendant in a common law
suit.
|
|