5.2 Type goals

Introduction

In this section, we deal with the following goals relating to types and instances:

  1. isSubType
  2. isSuperType
  3. isInstance
  4. superTypes
  5. immediateSubTypes
  6. maxComSubType
  7. minComSuperType


PrevLite: 5.1.5 maximalJoin
NextLite: 5.2.1 isSubType

Prev: 5.1.5 maximalJoin
Up: 5 CG primitives
Next: 5.2.1 isSubType