6.5 Multiple inheritance

Introduction by example

A type may inherit from more than one type. For example, if we have the types "Cat" and "Cuddly", then we can form the type "CuddlyCat" by letting "CuddlyCat" be a subtype of both "Cat" and "Cuddly".

This can be visualized as in this lattice:

Another example

Here is another example:


Next, we give some examples of types, so that all of this may become less abstract and easier to understand.

Prev: 6.4 Inheritance
Up: 6 Core ontological ideas
Next: 6.6 Examples