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
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 1.0 | 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 1.0 | 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 1.0 | 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.3 | LRMoo 1.0 |
|
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
No comment found.