n13860281
type | n |
lex_filenum | 24 |
def | a logical relation between propositions p and q of the form `if p then q' |
def | if p is true then q cannot be false |
Outgoing links | |
Hypernym | logical relation |
Derivationally related form | implication → implicational; implication → imply |
Derivationally related form | implication → implicate |
Incoming links | |
Derivationally related form | implicational → implication; imply → implication |
Pertainym (pertains to noun) | implicational → implication |
Hyponym | logical relation |
Derivationally related form | implicate → implication |
Click for the XML entry