negation: (logic) a proposition that is true if and only if another proposition is false
abstraction: a general concept formed by extracting common features from specific examples
great pyrenees: bred of large heavy-coated white dogs resembling the Newfoundland