8-letter words containing s, b
- imbodies — Third-person singular simple present indicative form of imbody.
- imbosked — Simple past tense and past participle of imbosk.
- imbossed — Simple past tense and past participle of imboss.
- imbowers — Third-person singular simple present indicative form of imbower.
- imbursed — Simple past tense and past participle of imburse.
- inboards — Plural form of inboard.
- inbounds — Sports. being within the boundaries of a court or field.
- inbreeds — Third-person singular simple present indicative form of inbreed.
- incubous — (of leaves) overlapping, with the upper part of each leaf covering the base of the leaf above it.
- inhabits — to live or dwell in (a place), as people or animals: Small animals inhabited the woods.
- inhibits — Third-person singular simple present indicative form of inhibit.
- inkblots — Plural form of inkblot.
- inscribe — to address or dedicate (a book, photograph, etc.) informally to a person, especially by writing a brief personal note in or on it.
- instable — not stable; unstable.
- ipsambul — Abu Simbel.
- isabella — ("the Catholic") 1451–1504, wife of Ferdinand V: queen of Castile 1474–1504; joint ruler of Aragon 1479–1504.
- isabelle — (theory, tool) A generic theorem prover with support for several object-logics, developed by Lawrence C. Paulson <[email protected]> in collaboration with Tobias 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. Mailing list: [email protected]
- isobaric — Meteorology. having or showing equal barometric pressure.
- isobaths — Plural form of isobath.
- isobront — a line on a weather map or chart connecting various points where a given phase of thunderstorm activity occurred simultaneously.
- isobutyl — (organic chemistry, especially in combination) The univalent hydrocarbon radical derived from isobutanol.
- isolable — capable of being isolated.
- issuable — able to be issued or to issue.
- istanbul — a port in NW Turkey, on both sides of the Bosporus: built by Constantine I on the site of ancient Byzantium; capital of the Eastern Roman Empire and of the Ottoman Empire; capital removed to Ankara 1923.
- jacobins — (in the French Revolution) a member of a radical society or club of revolutionaries that promoted the Reign of Terror and other extreme measures, active chiefly from 1789 to 1794: so called from the Dominican convent in Paris, where they originally met.
- jacobsen — Jens Peter [yens pey-tuh r] /yɛns ˈpeɪ tər/ (Show IPA), 1847–85, Danish novelist.
- jakobson — Roman [roh-mahn,, -muh n] /ˈroʊ mɑn,, -mən/ (Show IPA), 1896–1982, U.S. linguist and scholar, born in Russia.
- jawbones — Plural form of jawbone.
- jaybirds — Plural form of jaybird.
- jebusite — a member of an ancient Canaanite people that lived in Jebus.
- jellabas — Plural form of jellaba.
- jestbook — a book of jests or jokes.
- jezebels — Plural form of jezebel.
- jigaboos — Plural form of jigaboo.
- job case — any of various cases for holding type, especially one of several that accommodate both uppercase and lowercase letters. Compare California job case, case2 (def 8).
- job loss — the act or an instance of a person losing his or her job
- job shop — an agency or plant that supplies technical personnel or performs a specific function in a manufacturing process, usually on short-term temporary contracts.
- jobshare — an arrangement in which two or more people divide the duties and payment for one position between them, working at different times
- jubilees — Plural form of jubilee.
- jumbucks — Plural form of jumbuck.
- kalimbas — Plural form of kalimba.
- karlsbad — German name of Karlovy Vary.
- kasavubu — Joseph, 1917?–69, African political leader: first president of the Democratic Republic of the Congo (now Zaire) 1960–65.
- kerberos — Cerberus (def 1).
- kerbside — a side of a pavement or street bordered by a curb.
- kibitkas — Plural form of kibitka.
- kibitzes — Third-person singular simple present indicative form of kibitz.
- kiboshed — Simple past tense and past participle of kibosh.
- kielbasa — a smoked sausage of coarsely chopped beef and pork, flavored with garlic and spices.
- kielbasy — a smoked sausage of coarsely chopped beef and pork, flavored with garlic and spices.