portal-in中文什么意思

洞口开挖

• portal:    n. 1.(大建筑物的)入口；正门； ...
• portal:    n. 波特尔〔姓氏〕。 n. 1.( ...
• portal-to-portal:    按照从进厂矿到出厂矿的全部时间计算的 ...