CLASSIFY Sedan ISA Car, we call the first concept (
Sedan) the specific concept and the second (
Car) the generic concept. The meaning of a specialization is that every atom from the specific concept is an atom from the generic concept as well. So every (atom that is a) Sedan is a Car as well.
This means exactly the same as