Hüperonüümid:
miski 1(n)
tõendatu 1(n), tõestatu 1(n)

see, mille olemasolu või tõesus on kindlaks tehtud

ILI-1.5 relation(s)

eq_role

PWN-3.0 relation(s)

eq_role
prove 1(v), turn out 7(v), turn up 4(v) be shown or be found to be