Synset
a straight line can be drawn between any two points
<noun.cognition>
Euclid's first axiom
semantic pointers
hypernym
Euclid's axiom, Euclid's postulate, Euclidean axiom