a formal series of statements showing that if one thing is true something else necessarily follows from it
<noun.communication> freq. cnt.: 8 freq. cnt.: 8
<noun.communication> freq. cnt.: 8 freq. cnt.: 8
| proof |
|
semantic pointers
domain of synset (topic)
hypernym
hyponym