Question: Is the cardinality of the group of the Klein four-group equal to 4.8?
SPARQL (Wikidata): ASK WHERE { wd:Q550593 wdt:P1164 ?obj filter(?obj = 4.8) }