Classes can be arranged into an inheritance hierarchy modeling the relation of more general and more specific kinds, e.g., a dog is a kind of mammal.