jewelry dealer: a firm that sells and buys jewelry
abstraction: a general concept formed by extracting common features from specific examples
aristotelian logic: the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages