Assertion: triangle's orthocenter | /r/CapableOf | coincide with the vertex
Facets:
value: at the right angle
type: MANNER
Source sentences:
text: If one angle is a right angle, the orthocenter coincides with the vertex at the right angle.