Assertion: total curvature | /r/HasProperty | the angle defect
Facets:
value: at that vertex
type: LOCATION
Source sentences:
text: This is like angle defect: in fact, the total curvature of a region of a polyhedron containing exactly one vertex is the angle defect at that vertex.