corollary (n)

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

Back to the index

Click for the XML entry