is logical successor of (has successor) – R1

R1 is logical successor of (has successor)

Quantification:

0,n:0,n

Scope note:

This property associates an instance of F1 Work which logically continues the content of another instance of F1 Work with the latter.

Examples:

Albrecht Dürer’s woodcut from ‘The Large Woodcut Passion’ entitled ‘The Agony in the Garden’ (F1, conceived ca 1496-98) R1 is logical successor of Albrecht Dürer’s woodcut from ‘The Large Woodcut Passion’ entitled ‘The Last Supper’ (F1, dated 1510)

The first ‘Star wars’ trilogy (F15, 1977-1983) R1 is logical successor of The second ‘Star wars’ trilogy (F15, 1999-2005) [Note that the logical order does not follow, in either of these two examples, the chronological order]

In First Order Logic:

  • R1(x,y) ⊃ F1(x)
  • R1(x,y) ⊃ F1(y)
  • R1(x,y) ⊃ P130(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property associates an instance of F1 Work which logically continues the content of another instance of F1 Work with the latter. en FRBRoo version 2.4 0

Examples

Show Example Language Namespace View details Comments
Albrecht Dürer’s woodcut from ‘The Large Woodcut Passion’ entitled ‘The Agony in the Garden’ (F1, conceived ca 1496-98) R1 is logical successor of Albrecht Dürer’s woodcut from ‘The Large Woodcut Passion’ entitled ‘The Last Supper’ (F1, dated 1510) The first ‘Star wars’ trilogy (F15, 1977-1983) R1 is logical successor of The second ‘Star wars’ trilogy (F15, 1999-2005) [Note that the logical order does not follow, in either of these two examples, the chronological order] en FRBRoo version 2.4 0

Additional notes

Show Notes Language Namespace View details Comments

Identifier : R1

Domain and range

frbroo:F1 Work → R1 is logical successor of (has successor) → frbroo:F1 Work  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
is logical successor of (has successor) * en 2021-06-10 0

: Standard label for this language

Namespace

Namespace Last updated
FRBRoo version 2.4 2021-05-07

Parent properties

Domain Property Range Justification Relation namespace View details Edit Delete Comments
crm:E70 Thing (0,n) crm:P130 shows features of (features are also found on) (0,n) crm:E70 Thing 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 Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments