3.1.3 Multiple inheritance


Consider the following example:

Adult > Woman, Man.
Young > Girl, Boy.
Female > Woman, Girl.
Male > Man, Boy.

Multiple inheritance

It will be noticed that "Woman" occurs in several places. This is allowed, so long as there is no circularity, i.e., so long as a type is not specified to be a subtype of itself, whether immediately or indirectly.

PrevLite: 3.1.2 Example
NextLite: 3.1.4 Universal and Absurd

Prev: 3.1.2 Example
Up: 3.1 Concept types and type-hierarchies in Prolog+CG
Next: 3.1.4 Universal and Absurd