n06647614
| type | n |
| lex_filenum | 10 |
| def | a formal series of statements showing that if one thing is true something else necessarily follows from it |
| Outgoing links | |
| Hypernym | argument, statement |
| Domain of synset - TOPIC | logic; mathematics, math, maths |
| Hyponym | mathematical proof; logical proof; demonstration, monstrance |
| Incoming links | |
| Member of this domain - TOPIC | mathematics, math, maths; logic |
| Hypernym | mathematical proof; logical proof; demonstration, monstrance |
| Hyponym | argument, statement |
Click for the XML entry