what's the type of the satellite with the largest launch mass?
Entity
m.0c98h
Communications satellite
class class literal
spaceflight.satellite_type spaceflight.satellite 0^^http://www.w3.org/2001/XMLSchema#int
spaceflight.satellite_type spaceflight.satellite type.float
Satellite Type Satellite 0
none none argmax
spaceflight.satellite_type.satellites spaceflight.satellite.launch_mass_kg
Satellites Launch Mass
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :spaceflight.satellite_type . 
?x1 :type.object.type :spaceflight.satellite . 
{
SELECT (MAX(?y2) AS ?x2)  WHERE { 
?y0 :type.object.type :spaceflight.satellite_type . 
?y1 :type.object.type :spaceflight.satellite . 
?y0 :spaceflight.satellite_type.satellites ?y1 . 
?y1 :spaceflight.satellite.launch_mass_kg ?y2 . 
FILTER ( ?y0 != ?y1 && ?y0 != ?y2 && ?y1 != ?y2  )
}
}
?x0 :spaceflight.satellite_type.satellites ?x1 . 
?x1 :spaceflight.satellite.launch_mass_kg ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(ARGMAX spaceflight.satellite_type (JOIN spaceflight.satellite_type.satellites spaceflight.satellite.launch_mass_kg))