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

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

Examples

Show Example Language Namespace View details Comments
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

Additional notes

Show Notes Type Language Namespace View details Comments

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
is logical successor of (has successor) * en 2023-05-08 0

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

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

Profiles using this property

Label Version Status Last updated

Comments