Assertion: right triangle's length | /r/HasProperty | divided by the length of the hypotenuse
Facets:
Source sentences:
text: the cosine of a non-right angle equals the length of the leg adjacent to it divided by the length of the hypotenuse.