Assertion list for term "three-dimensional solid".
Results from Ascent++: 1
cylinder → IsA → three-dimensional solid 0.33