n05780563
| type | n |
| lex_filenum | 09 |
| def | (logic) an inference that follows directly from the proof of another proposition |
| Outgoing links | |
| Hypernym | inference, illation |
| Domain of synset - TOPIC | logic |
| Incoming links | |
| Hyponym | inference, illation |
| Member of this domain - TOPIC | logic |
Click for the XML entry