isOxygenRichAGBStar
P136290
predicate
Indicates that a star is an asymptotic giant branch (AGB) star whose atmosphere and circumstellar material are enriched in oxygen relative to carbon.