Synset

lause, millel ei ole iseseisvat tähtsust, kuid mis on vajalik mõne teise lause tõestamisel, abiteoreem

PWN-3.0 relation(s)

eq_has_hyperonym: proposition _5(n) a statement that affirms or denies something and is either true or false