ILI-1.5 relation(s)

eq_has_hyperonym

PWN-3.0 relation(s)

eq_has_hyperonym

proof _6(n) a formal series of statements showing that if one thing is true something else necessarily follows from it