is logical successor of (has successor) – R1
R1 is logical successor of (has successor)
Domain:
Range:
Quantification:
0,n:0,n
Subproperty of:
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
Comments
No comment found.