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.