#sidereal_time  measured by the diurnal motion of stars
  supertype:  cosmic_time  the time covered by the physical formation and development of the universe
  subtype:  sidereal_day__day  the time for one complete rotation of the earth relative to a particular star, about 4 minutes shorter than a mean solar day
  subtype:  sidereal_year  the time for the earth to make one complete revolution around the sun, relative to the fixed stars
  subtype:  sidereal_hour  1/24 of a sidereal day
  subtype:  sidereal_month  period between successive conjunctions with a star, 27.322 days

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