• borehole是什么意思？如何读音？ 2024-06-04 16:11:26