Assertion: octahedron's triangle | /r/HasAspect | side
Facets:
value: with relative lengths of 1
type: OTHER
value: by the pythagorean theorem
type: OTHER
Source sentences:
text: The triangles have sides a, a/sqrt(2) and a/sqrt(2), by the Pythagorean theorem.
text: The 30-60-90 triangle has sides with relative lengths of 1, 2, Sqr(3).