Synset

Hüperonüümid:: abstraheerimine _1(n), järeldamine _1(n), loogiline mõtlemine _1(n)

deduktsioon _1(n), dedutseerimine _1(n)

üksiku v. erilise tuletamine üldisest, järeldamine konkreetse üksikjuhu kohta üldise põhjal

ILI-1.5 relation(s)

eq_synonym

PWN-3.0 relation(s)

eq_synonym: deduction _5(n), deductive reasoning _1(n), synthesis _2(n) reasoning from the general to the particular (or from cause to effect)

CILI relation(s)

eq_synonym: deduction _3(n), deductive_reasoning _1(n), synthesis _1(n) reasoning from the general to the particular (or from cause to effect)

Hüponüümid:: automaattõestamine _1(n)

domain_topic: matemaatika _1(n)

is_caused_by: dedutseerija _1(n)