Assertion: tetrahedron's edge length | /r/HasProperty | integer
Facets:
value: for regular tetrahedra
type: TRANSITIVE-OBJECT
Source sentences:
text: A regular tetrahedron (one with all faces being equilateral) cannot be a Heronian tetrahedron because, for regular tetrahedra whose edge lengths are integers, the face areas and volume are irrational numbers.
text: A Heronian tetrahedron (also called a Heron tetrahedron or perfect pyramid) is a tetrahedron whose edge lengths, face areas and volume are all integers.