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