Assertion: dodecahedron's face | /r/HasProperty | njk of the octahedron
Facets:
Source sentences:
text: F is also the centroid of a tetrahedron with side length = side of the octahedron that can be formed from the face NJK of the octahedron (see Figure 4A below).