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:
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