Difference between revisions of "Relation:canConvertTo"
Jump to navigation
Jump to search
(Created page) |
(No difference)
|
Latest revision as of 21:41, 21 January 2021
| 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: