Relation:canConvertTo
Jump to navigation
Jump to search
| 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: