isFirstMagnitudeStar
P69918
predicate
Indicates that a star has an apparent brightness classified as first magnitude, meaning it is among the brightest stars in the sky as seen from Earth.