Synset
a proposition deducible from basic postulates
<noun.communication>
freq. cnt.: 14
freq. cnt.: 14
theorem
semantic pointers
hyponym
binomial theorem
hypernym
proposition