is not a main-sequence k star

2 triples
GPTKB property