is logical successor of (has successor) – R1

This property does not yet have the minimum number of validated parts required for publication.

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. This property is not transitive. It is asymmetric and irreflexive.

Examples:

  • Ursula K. Le Guin’s novel ‘The Tombs of Atuan’ (F1) is logical successor of Ursula K. Le Guin’s novel ‘A Wizard of Earthsea’ (F1).
  • Miguel de Cervantes’ ‘Segunda Parte del Ingenioso Cavallero Don Quixote de la Mancha’ (F1) is logical successor of Miguel de Cervantes’ ‘El ingenioso hidalgo Don Quixote de la Mancha’ (F1).
  • The TV series ‘Breaking Bad’ (F1) is logical successor of the TV series ‘Better Call Saul’ (F1).
  • The first ‘Star Wars’ trilogy, 1977-1983 (F1) is logical successor of the second ‘Star Wars’ trilogy, 1999-2005 (F1).

[Note that the logical order does not follow, in either of the two last examples, the chronological order of creation]

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 Validation
This property associates an instance of F1 Work which logically continues the content of another instance of F1 Work with the latter. This property is not transitive. It is asymmetric and irreflexive. en LRMoo 0.9.6 0 Candidate

Examples

Show Example Language Namespace View details Comments Validation
Ursula K. Le Guin’s novel ‘The Tombs of Atuan’ (F1) is logical successor of Ursula K. Le Guin’s novel ‘A Wizard of Earthsea’ (F1). Miguel de Cervantes’ ‘Segunda Parte del Ingenioso Cavallero Don Quixote de la Mancha’ (F1) is logical successor of Miguel de Cervantes’ ‘El ingenioso hidalgo Don Quixote de la Mancha’ (F1). The TV series ‘Breaking Bad’ (F1) is logical successor of the TV series ‘Better Call Saul’ (F1). The first ‘Star Wars’ trilogy, 1977-1983 (F1) is logical successor of the second ‘Star Wars’ trilogy, 1999-2005 (F1). [Note that the logical order does not follow, in either of the two last examples, the chronological order of creation] en LRMoo 0.9.6 0 Candidate

Additional notes

Show Notes Type Language Namespace View details Comments Validation

Identifier: R1

Official URI: http://iflastandards.info/ns/lrm/lrmoo/R1
OntoME URI: https://ontome.net/ontology/p2222

Domain and range

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

Labels

Label Language Last updated View details Comments Validation
is logical successor of (has successor) * en 2023-05-08 0 Candidate

: Standard label for this language

Namespace

Namespace Last updated
LRMoo 0.9.6 2023-01-25

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments Validation
crm:E70 Thing (0,n) P130 shows features of (features are also found on) (0,n) crm:E70 Thing CIDOC CRM version 7.1.2 LRMoo 0.9.6 0 Candidate

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments Validation

Profiles using this property

Label Version Status Last updated

Comments