Triple
T7743588
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Navier–Stokes existence and smoothness problem |
E175568
|
entity |
| Predicate | regularityQuestion |
P78448
|
FINISHED |
| Object | global regularity of solutions |
—
|
LITERAL FINISHED |
How this triple was built (2 steps)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
NER
Named-entity recognition
gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: global regularity of solutions | Statement: [Navier–Stokes existence and smoothness problem, regularityQuestion, global regularity of solutions]
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: regularityQuestion Context triple: [Navier–Stokes existence and smoothness problem, regularityQuestion, global regularity of solutions]
-
A.
hasRegularity
Indicates that one entity exhibits a consistent, recurring pattern or uniform behavior with respect to another entity or over time.
-
B.
isRegularAt
Indicates that a function or mapping behaves regularly (e.g., is analytic, smooth, or non-singular) at a specified point or region, without irregularities or singularities there.
-
C.
regularization
Indicates the application of a constraint or penalty to a model or function to prevent overfitting and encourage simpler, more generalizable behavior.
-
D.
isRegularChange
Indicates that a change occurs with consistent, recurring frequency or pattern over time.
-
E.
regulatoryType
Indicates the specific kind or category of regulatory control, rule, or oversight that applies in the given relationship.
- F. None of above. chosen
Provenance (4 batches)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69c6995f9c60819092e386192bd63c6f |
completed | March 27, 2026, 2:51 p.m. |
| NER | Named-entity recognition | batch_69c70402169481909b219dc5f4a64b9b |
completed | March 27, 2026, 10:26 p.m. |
| PD | Predicate disambiguation | batch_69c7016c4a748190a7012030edaefcee |
completed | March 27, 2026, 10:15 p.m. |
| PDg | Predicate description generation | batch_69c7040091608190a9e46ecfb2ff0bca |
completed | March 27, 2026, 10:26 p.m. |
Created at: March 27, 2026, 4:07 p.m.