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