All sorts of cords or ropes, used in the running rigging of a ship, or kept in reserve to supply the place of that which may be rendered unserviceable. In a more general sense, the word includes all ropes and lines used on board of ships.