Relation:canConvertTo
| canConvertTo relation | |
| Address | prim::canConvertTo |
| Category | basic |
| Degree | 2 (binary) |
| Reflexive | no |
| Symmetric | no |
| Transitive | yes |
| Functional | no |
| Inverse fct. | no |
| Irreflexive | no |
| Asymmetric | no |
The canConvertTo relation states that the subject type can be converted to the object type.
Example
As this relation is transitive, the following fact can be inferred from the above ones: