hasEdgeLengthFormula

1 triples
GPTKB property

Random triples
Subject Object
gptkb:icosidodecahedron (edge length = a, volume = (60+29√3)a³/3)