supertype > subtype, subtype, ..., subtype.
This rule is then repeated for each type that has subtypes.
Next, we look at how to make a catalog of individuals in Prolog+CG.
PrevLite: 3.1.6 Further rules
NextLite: 3.2 Concept type instances in Prolog+CG
Prev: 3.1.6 Further rules
Up: 3.1 Concept types and type-hierarchies in Prolog+CG
Next: 3.2 Concept type instances in Prolog+CG