Coal-cutter
noun
1.
a machine for cutting a kerf, especially in longwall mining.
Read Also:
- Coaler
[koh-ler] /ˈkoʊ lər/ noun 1. a railroad, ship, etc., used mainly to haul or supply . /ˈkəʊlə/ noun 1. a ship, train, etc, used to carry or supply coal 2. a person who sells or supplies coal
- Coalesce
[koh-uh-les] /ˌkoʊ əˈlɛs/ verb (used without object), coalesced, coalescing. 1. to grow together or into one body: The two lakes coalesced into one. 2. to unite so as to form one mass, community, etc.: The various groups coalesced into a crowd. 3. to blend or come together: Their ideas coalesced into one theory. verb (used […]
- Coalesced sum
theory (Or “smash sum”) In domain theory, the coalesced sum of domains A and B, A (+) B, contains all the non-bottom elements of both domains, tagged to show which part of the sum they come from, and a new bottom element. D (+) E = bottom(D(+)E) U (0,d) | d in D, d /= […]
- Coalescence
[koh-uh-les] /ˌkoʊ əˈlɛs/ verb (used without object), coalesced, coalescing. 1. to grow together or into one body: The two lakes coalesced into one. 2. to unite so as to form one mass, community, etc.: The various groups coalesced into a crowd. 3. to blend or come together: Their ideas coalesced into one theory. verb (used […]
- Coalescent
[koh-uh-les] /ˌkoʊ əˈlɛs/ verb (used without object), coalesced, coalescing. 1. to grow together or into one body: The two lakes coalesced into one. 2. to unite so as to form one mass, community, etc.: The various groups coalesced into a crowd. 3. to blend or come together: Their ideas coalesced into one theory. verb (used […]