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