Triple
T5446388
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Carathéodory metric |
E122257
|
entity |
| Predicate | separatesPointsOn |
P64360
|
FINISHED |
| Object |
Carathéodory hyperbolic manifolds
Carathéodory hyperbolic manifolds are complex manifolds whose intrinsic Carathéodory metric is non-degenerate, giving them a rich hyperbolic-type complex-analytic geometry.
|
E122257
|
NE FINISHED |
How this triple was built (5 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: Carathéodory hyperbolic manifolds | Statement: [Carathéodory metric, separatesPointsOn, Carathéodory hyperbolic manifolds]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Carathéodory hyperbolic manifolds Context triple: [Carathéodory metric, separatesPointsOn, Carathéodory hyperbolic manifolds]
-
A.
Hyperbolic Manifolds and Discrete Groups
"Hyperbolic Manifolds and Discrete Groups" is a foundational mathematical monograph that develops the theory of hyperbolic geometry and its deep connections with discrete group actions and low-dimensional topology.
-
B.
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.
-
C.
Lempert function on convex domains
The Lempert function on convex domains is a complex-analytic invariant that coincides with the Kobayashi distance and provides an extremal characterization of holomorphic mappings between convex domains in several complex variables.
-
D.
Differential Analysis on Complex Manifolds
"Differential Analysis on Complex Manifolds" is a foundational mathematical monograph that systematically develops the theory of differential and complex geometry on complex manifolds.
-
E.
Teichmüller theory
Teichmüller theory is a branch of complex analysis and geometry that studies the deformation spaces of Riemann surfaces and their moduli, often via quasiconformal mappings.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg
Description generation
gpt-5.1
Instruction
Generate a one-sentence description of the target entity. You are given a context triple in the form (subject, predicate, object), where the object is the target entity. # Instructions Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. Avoid repeating the information from the triple, unless really essential. # Response Format Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Carathéodory hyperbolic manifolds Triple: [Carathéodory metric, separatesPointsOn, Carathéodory hyperbolic manifolds]
Generated description
Carathéodory hyperbolic manifolds are complex manifolds whose intrinsic Carathéodory metric is non-degenerate, giving them a rich hyperbolic-type complex-analytic geometry.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Carathéodory hyperbolic manifolds Target entity description: Carathéodory hyperbolic manifolds are complex manifolds whose intrinsic Carathéodory metric is non-degenerate, giving them a rich hyperbolic-type complex-analytic geometry.
-
A.
Hyperbolic Manifolds and Discrete Groups
"Hyperbolic Manifolds and Discrete Groups" is a foundational mathematical monograph that develops the theory of hyperbolic geometry and its deep connections with discrete group actions and low-dimensional topology.
-
B.
Carathéodory metric
chosen
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.
-
C.
Lempert function on convex domains
The Lempert function on convex domains is a complex-analytic invariant that coincides with the Kobayashi distance and provides an extremal characterization of holomorphic mappings between convex domains in several complex variables.
-
D.
Differential Analysis on Complex Manifolds
"Differential Analysis on Complex Manifolds" is a foundational mathematical monograph that systematically develops the theory of differential and complex geometry on complex manifolds.
-
E.
Teichmüller theory
Teichmüller theory is a branch of complex analysis and geometry that studies the deformation spaces of Riemann surfaces and their moduli, often via quasiconformal mappings.
- F. None of above.
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: separatesPointsOn Context triple: [Carathéodory metric, separatesPointsOn, Carathéodory hyperbolic manifolds]
-
A.
separates
Indicates that one entity divides, parts, or keeps other entities apart from each other.
-
B.
separatesBy
Indicates that one entity divides, partitions, or creates a boundary between two or more other entities.
-
C.
separatedInto
Indicates that something has been divided or split into distinct parts, groups, or components.
-
D.
separatesDirection
Indicates that one entity divides or distinguishes different directions or directional paths from each other.
-
E.
leafPoints
Indicates that one leaf or leaf-like structure is oriented or directed toward, or points at, another entity.
- F. None of above. chosen
Provenance (7 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_69bd4640f52c81909e653ec361f66d76 |
completed | March 20, 2026, 1:06 p.m. |
| NER | Named-entity recognition | batch_69bd95be329c81908783420cf81b6af5 |
completed | March 20, 2026, 6:45 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69bf4881d6308190a4e7cb784eb520c9 |
completed | March 22, 2026, 1:40 a.m. |
| NEDg | Description generation | batch_69bf4a783e7c8190a0d44fdc336afc5d |
completed | March 22, 2026, 1:48 a.m. |
| NED2 | Entity disambiguation (via description) | batch_69bf4ade88f88190b0711feffd611f1c |
completed | March 22, 2026, 1:50 a.m. |
| PD | Predicate disambiguation | batch_69bd919e8d18819098c4af6a015e5cc2 |
completed | March 20, 2026, 6:27 p.m. |
| PDg | Predicate description generation | batch_69bd95bd53f48190a03144beb290f2cb |
completed | March 20, 2026, 6:45 p.m. |
Created at: March 20, 2026, 2:07 p.m.