3.1.3 Multiple inheritance
Consider the following example:
Adult > Woman, Man. Young > Girl, Boy. Female > Woman, Girl. Male > Man, Boy.
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