Synset
all right angles are equal
<noun.cognition>
Euclid's fourth axiom
semantic pointers
hypernym
Euclid's axiom, Euclid's postulate, Euclidean axiom