Difference between revisions of "Relation:isA"
Jump to navigation
Jump to search
(Created page) |
(No difference)
|
Revision as of 21:25, 21 January 2021
| 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.