Question: In the tetrahedral group, does the cardinality of the group equal to 14.4?
SPARQL (Wikidata): ASK WHERE { wd:Q45034192 wdt:P1164 ?obj filter(?obj = 14.4) }