| isA relation | |
| Address | prim::isA |
| Category | basic |
| Degree | 2 (binary) |
| Reflexive | no |
| Symmetric | no |
| Transitive | yes |
| Functional | no |
| Inverse fct. | no |
| Irreflexive | no |
| Asymmetric | no |
| Equivalent to | isa |
isA is a built-in relation between classes and types. The subject A is the subclass of the object B.