it has stopped raining是什么时态

We'll start at 5 p. m. if it has stopped raining by then.

我们五点钟动身，如果那时雨停了话。

We'll start at nine if it has stopped raining by that time.

到那时要是雨停了，我们将在9点钟出发。

We'll start at three o 'clock if it has stopped raining by then.

我们将在三点钟动身，如果那时雨停了的话。