Home

Synset

proof of a logical theorem
<noun.communication>

semantic pointers
hypernym