Assertion: geometry | /r/HasProperty | formalised by euclid
Facets:
value: in the elements
type: LOCATION
Source sentences:
text: When geometry was first formalised by Euclid in the Elements, he defined a general line (straight or curved) to be "breadthless length" with a straight line being a line "which lies evenly with the points on itself".