Hüperonüümid:
loogikatehe 1(n)
obversioon 1(n)

loogikatehe, mille tulemusena saadakse algse väitega samaväärne, kuid ümberpööratud predikaatide ja tõeväärtusega väide

ILI-1.5 relation(s)

eq_has_hyperonym

PWN-3.0 relation(s)

eq_has_hyperonym
logical operation 1(n), logic operation 1(n) an operation that follows the rules of symbolic logic