Question: Does the USB 3.0 have 4000.0 output?
Paraphrase: Is the output for USB 3.0 4000.0?
SPARQL (Wikidata): ASK WHERE { wd:Q3735943 wdt:P2957 ?obj filter(?obj = 4000.0) }