Synset
functional equality
<noun.attribute>
parity
semantic pointers
hypernym
equivalence