resolvedIn
P19807
predicate
Indicates that an issue, conflict, or process is brought to a conclusion or solution within a specified context, medium, or timeframe.
All labels observed (10)
| Label | Occurrences |
|---|---|
| resolved | 12 |
| hasResolutionIn | 3 |
| resolvedIn canonical | 3 |
| statusWhenResolved | 3 |
| resolvesPlotLine | 2 |
| aufgelöst | 1 |
| fullyResolvedIn | 1 |
| partialResolution | 1 |
| terminatedByResolution | 1 |
| wasSolvedIn | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: resolvedIn
Generated description
Indicates that an issue, conflict, or process is brought to a conclusion or solution within a specified context, medium, or timeframe.
Sample triples (28)
| Subject | Object |
|---|---|
| Burali-Forti paradox |
von Neumann–Bernays–Gödel set theory
ⓘ
surface form:
Zermelo–Fraenkel set theory by treating the collection of all ordinals as a proper class
|
| Burali-Forti paradox |
von Neumann–Bernays–Gödel set theory
ⓘ
surface form:
von Neumann–Bernays–Gödel set theory by class–set distinction
|
| Burali-Forti paradox | Morse–Kelley set theory by class–set distinction ⓘ |
|
Treaty of Osimo (1975)
surface form:
Treaty of Osimo
|
Yugoslavia–Italy border
via predicate surface "resolved"
ⓘ
surface form:
Italian–Yugoslav border in the northern Adriatic
|
| Poincaré conjecture | early 21st century via predicate surface "fullyResolvedIn" ⓘ |
| Treaty of Teschen | Bavarian inheritance dispute via predicate surface "resolved" ⓘ |
| Treaty of Teschen | territorial disputes between Austria and Prussia via predicate surface "resolved" ⓘ |
| Dichotomy paradox | calculus via predicate surface "hasResolutionIn" ⓘ |
| Dichotomy paradox | real analysis via predicate surface "hasResolutionIn" ⓘ |
| Dichotomy paradox | the concept of convergent infinite series via predicate surface "hasResolutionIn" ⓘ |
| Emerging Issues Task Force (EITF) Issues | EITF consensus via predicate surface "statusWhenResolved" ⓘ |
| Emerging Issues Task Force (EITF) Issues | EITF consensus-for-exposure via predicate surface "statusWhenResolved" ⓘ |
| Emerging Issues Task Force (EITF) Issues | no-consensus outcome via predicate surface "statusWhenResolved" ⓘ |
| Franco-Thai Peace Treaty (1946) | Franco-Thai War territorial issues via predicate surface "resolved" ⓘ |
| Fatimid state courts | civil disputes via predicate surface "resolved" ⓘ |
| Fatimid state courts | criminal cases via predicate surface "resolved" ⓘ |
| Fatimid state courts | commercial disputes via predicate surface "resolved" ⓘ |
| Fatimid state courts | family law cases via predicate surface "resolved" ⓘ |
| Fatimid state courts | inheritance disputes via predicate surface "resolved" ⓘ |
| Fatimid state courts | waqf disputes via predicate surface "resolved" ⓘ |
| Sakhalin–Kuril Exchange | territorial disputes between Japan and Russia in the North Pacific via predicate surface "resolved" ⓘ |
| Nim | 1901 via predicate surface "wasSolvedIn" ⓘ |
| Qatar–United Arab Emirates relations | Al-Ula Declaration via predicate surface "partialResolution" NERFINISHED ⓘ |
| Militärstrukturen des Warschauer Paktes | 1991 via predicate surface "aufgelöst" ⓘ |
| Pope Hormisdas | Acacian Schism via predicate surface "resolved" NERFINISHED ⓘ |
| UNOMIG | United Nations Security Council Resolution 1866 via predicate surface "terminatedByResolution" NERFINISHED ⓘ |
| Act IV: The tragic resolution at the lake | Siegfried’s broken vow via predicate surface "resolvesPlotLine" ⓘ |
| Act IV: The tragic resolution at the lake | Odette’s curse via predicate surface "resolvesPlotLine" ⓘ |