is realised in (realises) – R9
R9 is realised in (realises)
Domain:
Subproperty of:
Quantification:
1,1:1,1
Scope note:
Examples:
No example yet.
In First Order Logic:
- R9(x,y) ⊃ F14(x)
- R9(x,y) ⊃ F22(y)
- R9(x,y) ⊃ R3(x,y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
This property associates an F14 Individual Work with the unique F22 Self-Contained Expression that completely conveys it. It is a shortcut for the more developed path: F14 Individual Work R19i was realised through F28 Expression Creation R17 created F22 Self-Contained Expression. | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : R9
Domain and range
F14 Individual Work → R9 is realised in (realises) → F22 Self-Contained Expression (Quantifiers 1,1:1,1)
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
is realised in (realises) * | en | 2020-08-31 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
FRBRoo version 2.4 | 2020-09-01 |
Parent properties
Domain | Property | Range | Justification | Relation namespace | View details | Comments | ||
---|---|---|---|---|---|---|---|---|
Work – F1 | (1,1) | R3 is realised in (realises) | (0,n) | Self-Contained Expression – F22 |
|
FRBRoo version 2.4 | 0 |
Ancestor properties
Domain | Property | Range | Depth | Property namespace |
---|
Child and descendant properties
Domain | Property | Range | Depth | Property namespace |
---|
Related properties
Relation | Property | Justification | Relation namespace | View details | Comments |
---|
Profiles using this class
Label | Start date | End date | Last updated |
---|
Comments
No comment found.