Question: Name the brightest K-type main-sequence star ?
Paraphrase: the brightest K-type main-sequence star is?
SPARQL (Wikidata): select ?ent where { ?ent wdt:P31 wd:Q863936 . ?ent wdt:P2060 ?obj . ?ent wdt:P31 wd:Q523 } ORDER BY DESC(?obj)LIMIT 5 
Answer: K2-138, K2-141