mining geology: the branch of economic geology that deals with the applications of geology to mining
content: the sum or range of what has been perceived, discovered, or learned
docking: the act of securing an arriving vessel with ropes