carriers provided by (comprises carriers of) – R4
R4 carriers provided by (comprises carriers of)
Domain:
Subproperty of:
Superproperty of:
Quantification:
0,n:1,n
Scope note:
This property associates a publication, i.e. an instance of F3 Manifestation Product Type, with an instance of F2 Expression, which
all exemplars of that publication should carry, as long as they are recognised as complete exemplars of that publication. Typically, this
property is observed on one exemplar of a publication, and extrapolated to all other exemplars of the same publication. This property is a
shortcut of: F2 Expression P165i is incorporated in F24 Publication Expression CLR6i should be carried by F3 Manifestation Product Type.
Examples:
No example yet.
In First Order Logic:
- R4(x,y) ⊃ F2(x)
- R4(x,y) ⊃ F3(y)
- R4(x,y) ⊃ P128(x,y)
Scope Notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| This property associates a publication, i.e. an instance of F3 Manifestation Product Type, with an instance of F2 Expression, which all exemplars of that publication should carry, as long as they are recognised as complete exemplars of that publication. Typically, this property is observed on one exemplar of a publication, and extrapolated to all other exemplars of the same publication. This property is a shortcut of: F2 Expression P165i is incorporated in F24 Publication Expression CLR6i should be carried by F3 Manifestation Product Type. | en | WIP | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Language | Namespace | View details | Comments |
|---|
Identifier : R4
Domain and range
F2 Expression → R4 carriers provided by (comprises carriers of) → F3 Manifestation Product Type (Quantifiers 0,n:1,n)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| carriers provided by (comprises carriers of) * | 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 | ||
|---|---|---|---|---|---|---|---|---|
| Physical Thing – E18 | (0,n) | P128 carries (is carried by) | (0,n) | Symbolic Object – E90 |
|
FRBRoo version 2.4 | 0 |
Ancestor properties
| Domain | Property | Range | Depth | Property namespace | ||
|---|---|---|---|---|---|---|
| Thing – E70 | (0,n) | P130 shows features of (features are also found on) | (0,n) | Thing – E70 | 2 | CIDOC CRM version 6.2 |
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace | ||
|---|---|---|---|---|---|---|
| Expression – F2 | (0,n) | R41 has representative manifestation product type (is representative manifestation product type for) | (0,n) | Manifestation Product Type – F3 | 1 | FRBRoo version 2.4 |
Related properties
| Relation | Property | Justification | Relation namespace | View details | Comments |
|---|
Profiles using this class
| Label | Start date | End date | Last updated |
|---|---|---|---|
| Geovistory Generic Historical Information Profile | 2019-11-20 | ||
| Geovistory Basics | 2019-12-13 | ||
| READ-IT | 2020-02-21 | ||
| Visual Contagions | 2020-05-06 |
Comments
No comment found.