What is the {K-type main-sequence star} with the {MAX(luminosity)} whose {instance of} is {star}  ?
the brightest K-type main-sequence star is?
Name the brightest K-type main-sequence star ?
SELECT ?y WHERE { ?y rdf:type ontology:K-type_main-sequence_star . ?y rdf:type ontology:star . ?y property:luminosity ?v }
select ?ent where {
?ent <http://www.wikidata.org/entity/P31> <http://wikidata.dbpedia.org/resource/Q863936>.

?statement1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> ?ent .
?statement1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://www.wikidata.org/entity/P2060>.
?statement1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> ?obj1.

?statement2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> ?ent .
?statement2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://www.wikidata.org/entity/P31> .
?statement2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://wikidata.dbpedia.org/resource/Q523> .

}
ORDER BY DESC(?obj1)
LIMIT 5
select ?ent where { ?ent wdt:P31 wd:Q863936 . ?ent wdt:P2060 ?obj . ?ent wdt:P31 wd:Q523 } ORDER BY DESC(?obj)LIMIT 5 
K2-138 K2-141