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.CLASSIFY
ISA
This means exactly the same as
RELATION student[Person*Enrollment]