Question: Is the UTC timezone offset of Korea Standard Time equal to 9?
Paraphrase: Is 9 the difference between the Coordinated Universal Timezone and Korea standard time?
SPARQL (Wikidata): ASK WHERE { wd:Q76133 wdt:P2907 ?obj filter(?obj = 9) }