is reproduction of (has reproduction) – R31

R31 is reproduction of (has reproduction)

Quantification:

0,n:0,1

Scope note:

This property associates an instance of E84 Information Carrier which is a reproduction of another instance of E84 Information Carrier with the latter. It is considered that a reproduction of multiple originals resulting in a single product requires a merging of those objects prior to the reproduction. Therefore an Information Carrier is regarded to be a reproduction of one and only one original. This property is a shortcut of the more fully developed path from E84 Information Carrier through R30 produced (was produced by), F33 Reproduction Event R29 reproduced (was reproduced by) to E84 Information Carrier.

Examples:

No example yet.

In First Order Logic:

  • R31(x,y) ⊃ E84(x)
  • R31(x,y) ⊃ E84(y)
  • R31(x,y) ⊃ P130(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property associates an instance of E84 Information Carrier which is a reproduction of another instance of E84 Information Carrier with the latter. It is considered that a reproduction of multiple originals resulting in a single product requires a merging of those objects prior to the reproduction. Therefore an Information Carrier is regarded to be a reproduction of one and only one original. This property is a shortcut of the more fully developed path from E84 Information Carrier through R30 produced (was produced by), F33 Reproduction Event R29 reproduced (was reproduced by) to E84 Information Carrier. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : R31

Domain and range

E84 Information Carrier → R31 is reproduction of (has reproduction) → E84 Information Carrier  (Quantifiers 0,n:0,1)

Labels

Label Language Last updated View details Comments
is reproduction of (has reproduction) * 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
Thing – E70 (0,n) P130 shows features of (features are also found on) (0,n) Thing – E70 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