WordNet: korollaari

(logic) an inference that follows directly from the proof of another proposition

• domain: topic logiikka

• hypernym johtopäätös, päätelmä, päättely

korollaari

• (englanti) corollary (synonyymi)