Triple
T21145384
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Bergman metric |
E521039
|
entity |
| Predicate | determines |
P1033
|
FINISHED |
| Object | the Bergman distance |
—
|
NE NERFINISHED |
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: the Bergman distance | Statement: [Bergman metric, determines, the Bergman distance]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: the Bergman distance Context triple: [Bergman metric, determines, the Bergman distance]
-
A.
Gromov–Hausdorff distance
The Gromov–Hausdorff distance is a metric that quantifies how far apart two compact metric spaces are from being isometric, playing a central role in modern metric geometry and geometric group theory.
-
B.
Banach–Mazur distance
The Banach–Mazur distance is a numerical measure in functional analysis that quantifies how "far apart" two finite-dimensional normed vector spaces are up to linear isomorphism.
-
C.
Bergman metric
chosen
The Bergman metric is a canonical Kähler metric on complex domains derived from the Bergman kernel, widely used in several complex variables and complex differential geometry.
-
D.
Busemann function
The Busemann function is a geometric tool in metric and Riemannian geometry that measures asymptotic distance along geodesic rays, often used to study the large-scale structure and boundaries of spaces.
-
E.
Carathéodory metric
The Carathéodory metric is an intrinsic distance function in complex analysis that measures how far apart points are in a domain based on holomorphic mappings into the unit disk.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (2 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_69e0b50c6a848190a4e525a77a319b8a |
completed | April 16, 2026, 10:08 a.m. |
| NER | Named-entity recognition | batch_69e723fcdb7c8190ae04d6ad9dff3187 |
completed | April 21, 2026, 7:15 a.m. |
Created at: April 16, 2026, 2:58 p.m.