n06751572
type | n |
lex_filenum | 10 |
def | (logic) a proposition that is true if and only if another proposition is false |
Outgoing links | |
Hypernym | proposition |
Domain of synset - TOPIC | logic |
Derivationally related form | negation → negate |
Incoming links | |
Member of this domain - TOPIC | logic |
Hyponym | proposition |
Derivationally related form | negate → negation |
Click for the XML entry