Synset
a machine that subtracts numbers
<noun.artifact>
subtracter
semantic pointers
hypernym
calculator, calculating machine