#binary_star__binary__double_star  a system of two stars that revolve around each other under their mutual gravitation
  supertype:  #star  (astronomy) a celestial body of hot gases that radiates energy derived from thermonuclear reactions in the interior
  instance:  #Aldebaran  #Algol  #Alpha_Centauri  #Antares  #Epsilon_Aurigae  #Procyon  #Rigel  #Vega
  subtype:  #Altair  double star 15.7 light years from Earth; the brightest star in the Aquila constellation
  subtype:  #Sirius__Dog_Star__Canicula__Sothis  the brightest star in the sky; in Canis Major

No statement uses or specializes #binary_star; click here to add one.