| slovo | definícia |
isabel
(encz) | Isabel,Isabel n: [jmén.] příjmení, ženské křestní jméno Zdeněk Brož a
automatický překlad |
isabel
(czen) | Isabel,Isabeln: [jmén.] příjmení, ženské křestní jméno Zdeněk Brož a
automatický překlad |
Isabel
(gcide) | Isabel \Is"a*bel\, n., Isabel color \Is"a*bel col"or\ [F.
isabelle.]
See Isabella. Isabella |
| | podobné slovo | definícia |
isabella
(encz) | isabella,izabela Zdeněk BrožIsabella,Isabella n: [jmén.] příjmení, okres v USA, ženské křestní
jméno Zdeněk Brož a automatický překlad |
isabella
(czen) | Isabella,Isabellan: [jmén.] příjmení, okres v USA, ženské křestní
jméno Zdeněk Brož a automatický překlad |
Isabel
(gcide) | Isabel \Is"a*bel\, n., Isabel color \Is"a*bel col"or\ [F.
isabelle.]
See Isabella. Isabella |
Isabel color
(gcide) | Isabel \Is"a*bel\, n., Isabel color \Is"a*bel col"or\ [F.
isabelle.]
See Isabella. Isabella |
Isabella
(gcide) | Fox \Fox\ (f[o^]ks), n.; pl. Foxes. [AS. fox; akin to D. vos,
G. fuchs, OHG. fuhs, foha, Goth. fa['u]h[=o], Icel. f[=o]a
fox, fox fraud; of unknown origin, cf. Skr. puccha tail. Cf.
Vixen.]
1. (Zool.) A carnivorous animal of the genus Vulpes, family
Canid[ae], of many species. The European fox ({V.
vulgaris} or V. vulpes), the American red fox ({V.
fulvus}), the American gray fox (V. Virginianus), and
the arctic, white, or blue, fox (V. lagopus) are
well-known species.
[1913 Webster]
Note: The black or silver-gray fox is a variety of the
American red fox, producing a fur of great value; the
cross-gray and woods-gray foxes are other varieties of
the same species, of less value. The common foxes of
Europe and America are very similar; both are
celebrated for their craftiness. They feed on wild
birds, poultry, and various small animals.
[1913 Webster]
Subtle as the fox for prey. --Shak.
[1913 Webster]
2. (Zool.) The European dragonet.
[1913 Webster]
3. (Zool.) The fox shark or thrasher shark; -- called also
sea fox. See Thrasher shark, under Shark.
[1913 Webster]
4. A sly, cunning fellow. [Colloq.]
[1913 Webster]
We call a crafty and cruel man a fox. --Beattie.
[1913 Webster]
5. (Naut.) Rope yarn twisted together, and rubbed with tar;
-- used for seizings or mats.
[1913 Webster]
6. A sword; -- so called from the stamp of a fox on the
blade, or perhaps of a wolf taken for a fox. [Obs.]
[1913 Webster]
Thou diest on point of fox. --Shak.
[1913 Webster]
7. pl. (Ethnol.) A tribe of Indians which, with the Sacs,
formerly occupied the region about Green Bay, Wisconsin;
-- called also Outagamies.
[1913 Webster]
Fox and geese.
(a) A boy's game, in which one boy tries to catch others
as they run one goal to another.
(b) A game with sixteen checkers, or some substitute for
them, one of which is called the fox, and the rest the
geese; the fox, whose first position is in the middle
of the board, endeavors to break through the line of
the geese, and the geese to pen up the fox.
Fox bat (Zool.), a large fruit bat of the genus Pteropus,
of many species, inhabiting Asia, Africa, and the East
Indies, esp. P. medius of India. Some of the species are
more than four feet across the outspread wings. See {Fruit
bat}.
Fox bolt, a bolt having a split end to receive a fox wedge.
Fox brush (Zool.), the tail of a fox.
Fox evil, a disease in which the hair falls off; alopecy.
Fox grape (Bot.), the name of two species of American
grapes. The northern fox grape (Vitis Labrusca) is the
origin of the varieties called Isabella, Concord,
Hartford, etc., and the southern fox grape ({Vitis
vulpina}) has produced the Scuppernong, and probably the
Catawba.
Fox hunter.
(a) One who pursues foxes with hounds.
(b) A horse ridden in a fox chase.
Fox shark (Zool.), the thrasher shark. See {Thrasher
shark}, under Thrasher.
Fox sleep, pretended sleep.
Fox sparrow (Zool.), a large American sparrow ({Passerella
iliaca}); -- so called on account of its reddish color.
Fox squirrel (Zool.), a large North American squirrel
(Sciurus niger, or S. cinereus). In the Southern
States the black variety prevails; farther north the
fulvous and gray variety, called the cat squirrel, is
more common.
Fox terrier (Zool.), one of a peculiar breed of terriers,
used in hunting to drive foxes from their holes, and for
other purposes. There are rough- and smooth-haired
varieties.
Fox trot, a pace like that which is adopted for a few
steps, by a horse, when passing from a walk into a trot,
or a trot into a walk.
Fox wedge (Mach. & Carpentry), a wedge for expanding the
split end of a bolt, cotter, dowel, tenon, or other piece,
to fasten the end in a hole or mortise and prevent
withdrawal. The wedge abuts on the bottom of the hole and
the piece is driven down upon it. Fastening by fox wedges
is called foxtail wedging.
Fox wolf (Zool.), one of several South American wild dogs,
belonging to the genus Canis. They have long, bushy
tails like a fox.
[1913 Webster]Isabella \Is`a*bel"la\, n., Isabella color \Is`a*bel"la col"or\
[Said to be named from the Spanish princess Isabella,
daughter of king Philip II., in allusion to the color assumed
by her shift, which she wore without change from 1601 to
1604, in consequence of a vow made by her.]
A brownish yellow color.
[1913 Webster] |
Isabella color
(gcide) | Isabella \Is`a*bel"la\, n., Isabella color \Is`a*bel"la col"or\
[Said to be named from the Spanish princess Isabella,
daughter of king Philip II., in allusion to the color assumed
by her shift, which she wore without change from 1601 to
1604, in consequence of a vow made by her.]
A brownish yellow color.
[1913 Webster] |
Isabella grape
(gcide) | Isabella grape \Is`a*bel"la grape`\ (Bot.)
A favorite sweet American grape of a purple color. See {Fox
grape}, under Fox.
[1913 Webster] |
Isabella moth
(gcide) | Isabella moth \Is`a*bel"la moth`\ (?; 115). (Zool.)
A common American moth (Pyrrharctia isabella), of an
isabella color. The larva, called woolly bear and {hedgehog
caterpillar}, is densely covered with hairs, which are black
at each end of the body, and red in the middle part.
[1913 Webster] |
Isabelline
(gcide) | Isabelline \Is`a*bel"line\, a.
Of an isabel or isabella color.
[1913 Webster] Isagelous |
Pyrrharctia isabella
(gcide) | Isabella moth \Is`a*bel"la moth`\ (?; 115). (Zool.)
A common American moth (Pyrrharctia isabella), of an
isabella color. The larva, called woolly bear and {hedgehog
caterpillar}, is densely covered with hairs, which are black
at each end of the body, and red in the middle part.
[1913 Webster] |
cicily isabel fairfield
(wn) | Cicily Isabel Fairfield
n 1: British writer (born in Ireland) (1892-1983) [syn: West,
Rebecca West, Dame Rebecca West, {Cicily Isabel
Fairfield}] |
ferdinand and isabella
(wn) | Ferdinand and Isabella
n 1: joint monarchs of Spain; Ferdinand V and Isabella I |
isabella
(wn) | Isabella
n 1: the queen of Castile whose marriage to Ferdinand of Aragon
in 1469 marked the beginning of the modern state of Spain;
they instituted the Spanish Inquisition in 1478 and
sponsored the voyages of Christopher Columbus in 1492
(1451-1504) [syn: Isabella, Queen Isabella, {Isabella
I}, Isabella the Catholic] |
isabella i
(wn) | Isabella I
n 1: the queen of Castile whose marriage to Ferdinand of Aragon
in 1469 marked the beginning of the modern state of Spain;
they instituted the Spanish Inquisition in 1478 and
sponsored the voyages of Christopher Columbus in 1492
(1451-1504) [syn: Isabella, Queen Isabella, {Isabella
I}, Isabella the Catholic] |
isabella stewart gardner
(wn) | Isabella Stewart Gardner
n 1: United States collector and patron of art who built a
museum in Boston to house her collection and opened it to
the public in 1903 (1840-1924) [syn: Gardner, {Isabella
Stewart Gardner}] |
isabella the catholic
(wn) | Isabella the Catholic
n 1: the queen of Castile whose marriage to Ferdinand of Aragon
in 1469 marked the beginning of the modern state of Spain;
they instituted the Spanish Inquisition in 1478 and
sponsored the voyages of Christopher Columbus in 1492
(1451-1504) [syn: Isabella, Queen Isabella, {Isabella
I}, Isabella the Catholic] |
queen isabella
(wn) | Queen Isabella
n 1: the queen of Castile whose marriage to Ferdinand of Aragon
in 1469 marked the beginning of the modern state of Spain;
they instituted the Spanish Inquisition in 1478 and
sponsored the voyages of Christopher Columbus in 1492
(1451-1504) [syn: Isabella, Queen Isabella, {Isabella
I}, Isabella the Catholic] |
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)
|
|