最大的小行星是谷神星，其体积大约是月球的四分之一。

The largest asteroid is Ceres, which is about a quarter the size of the moon.

《柯林斯英汉双解大词典》

在同样的那个距离发现了很多天体，谷神星是其中第一个被发现的也是最大的天体。

Ceres was the first and is the largest of what became many objects discovered at that same distance.

youdao

事实上，谷神星可能有冰覆盖岩(或冠岩)和稀薄的大气层。

Indeed, Ceres may have ice caps and a thin atmosphere.

youdao