Assertion: isometry | /r/CapableOf | take ab
Facets:
value: to a'b'c
type: OTHER
value: to cd
type: TRANSITIVE-OBJECT
Source sentences:
text: Then RV is an orientation preserving isometry that takes AB to CD, and so RV must = T. Then V = RRV = RT.
text: If ABC and A'B'C' are congruent triangles, we know from a fundamental theorem on isometries that there is exactly one isometry T that takes ABC to A'B'C'.