[Achtung: Schreibweise von 1811] Der Himmelskörper, des -s, plur. ut nom. sing ein jeder Körper, so fern er ein unmittelbarer Theil des Himmels oder der Welt ist; ein Weltkörper. Alle Fixsterne und Planeten sind dergleichen Welt oder Himmelskörper.
Gefunden auf
https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009132_3_2_2345

Himmelskörper, Sammelbezeichnung für alle außerirdischen Körper, wie Planeten, Monde, Kometen, Sterne, Galaxien; im weiteren Sinn auch für alle kosmischen Objekte einschließlich der Erde.
Gefunden auf
https://www.enzyklo.de/Lokal/42134

Bezeichnung für außerirdische Körper wie Planeten, Kometen, Sterne, aber auch künstliche Objekte wie Satelliten.
Gefunden auf
https://www.wissen.de//lexikon/himmelskoerper
Keine exakte Übereinkunft gefunden.