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. 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

Examples

Additional notes

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

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments