Triple
T26255175
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Stern–Brocot tree |
E656695
|
entity |
| Predicate | relationToFareySequences |
P196139
|
FINISHED |
| Object | adjacent fractions are Farey neighbors |
—
|
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: adjacent fractions are Farey neighbors | Statement: [Stern–Brocot tree, relationToFareySequences, adjacent fractions are Farey neighbors]
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: relationToFareySequences Context triple: [Stern–Brocot tree, relationToFareySequences, adjacent fractions are Farey neighbors]
-
A.
continuedFraction
Indicates that one quantity is represented as, or related to another through, a continued fraction expansion (an expression built from a sequence of nested fractions).
-
B.
relationToBernoulliNumbers
Indicates a mathematical relationship or connection between an entity and the Bernoulli numbers, such as dependence, expression, or formulation in terms of them.
-
C.
simpleContinuedFraction
Indicates that one value is represented as, or related to another value through, its simple continued fraction expansion (using only integer terms).
-
D.
relationToEulerPhi
Indicates a mathematical relationship between a value and Euler's totient function φ(n), such as being equal to, derived from, or otherwise functionally dependent on φ(n).
-
E.
relationToDivisorFunction
Indicates a relationship where one entity is connected to another through the mathematical divisor function (which maps a number to a value derived from its divisors).
- 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_69ee5b4d25ac819086acb51184602576 |
completed | April 26, 2026, 6:37 p.m. |
| NER | Named-entity recognition | batch_69fe0d165a48819098b854318a50d76c |
completed | May 8, 2026, 4:19 p.m. |
| PD | Predicate disambiguation | batch_69fe0931002481908a95b34f95e9f64e |
completed | May 8, 2026, 4:02 p.m. |
| PDg | Predicate description generation | batch_69fe0d14778c8190986fa4f37f992a2f |
completed | May 8, 2026, 4:19 p.m. |
Created at: April 26, 2026, 9:08 p.m.