#hyponymy #subset #set theory #is a kind of #relation #semantics