n07091385
| type | n |
| lex_filenum | 10 |
| def | (logic) a statement that is necessarily true |
| examples | the statement `he is brave or he is not brave' is a tautology |
| Outgoing links | |
| Hypernym | truth, true statement |
| Domain of synset - TOPIC | logic |
| Derivationally related form | tautology → tautological |
| Incoming links | |
| Derivationally related form | tautological → tautology |
| Member of this domain - TOPIC | logic |
| Hyponym | truth, true statement |
Click for the XML entry