Triple

T5446366
Position Surface form Disambiguated ID Type / Status
Subject Carathéodory metric E122257 entity
Predicate isNondegenerateOn P64357 FINISHED
Object Carathéodory hyperbolic domains
Carathéodory hyperbolic domains are complex domains on which the Carathéodory distance defines a genuine, nontrivial hyperbolic metric structure, making them central objects in complex analysis and geometric function theory.
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 domains | Statement: [Carathéodory metric, isNondegenerateOn, Carathéodory hyperbolic domains]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Carathéodory hyperbolic domains
Context triple: [Carathéodory metric, isNondegenerateOn, Carathéodory hyperbolic domains]
  • A. 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.
  • B. Dynamics in One Complex Variable
    Dynamics in One Complex Variable is a foundational graduate-level textbook by John Milnor that introduces and develops the theory of complex dynamical systems, particularly the iteration of rational maps on the Riemann sphere.
  • C. 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.
  • 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. Hadamard three-circle theorem
    The Hadamard three-circle theorem is a result in complex analysis that describes how the maximum modulus of a holomorphic function behaves logarithmically between three concentric circles in the complex plane.
  • 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 domains
Triple: [Carathéodory metric, isNondegenerateOn, Carathéodory hyperbolic domains]
Generated description
Carathéodory hyperbolic domains are complex domains on which the Carathéodory distance defines a genuine, nontrivial hyperbolic metric structure, making them central objects in complex analysis and geometric function theory.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Carathéodory hyperbolic domains
Target entity description: Carathéodory hyperbolic domains are complex domains on which the Carathéodory distance defines a genuine, nontrivial hyperbolic metric structure, making them central objects in complex analysis and geometric function theory.
  • A. 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.
  • B. Dynamics in One Complex Variable
    Dynamics in One Complex Variable is a foundational graduate-level textbook by John Milnor that introduces and develops the theory of complex dynamical systems, particularly the iteration of rational maps on the Riemann sphere.
  • C. 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.
  • 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. Hadamard three-circle theorem
    The Hadamard three-circle theorem is a result in complex analysis that describes how the maximum modulus of a holomorphic function behaves logarithmically between three concentric circles in the complex plane.
  • F. None of above.
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: isNondegenerateOn
Context triple: [Carathéodory metric, isNondegenerateOn, Carathéodory hyperbolic domains]
  • A. isNoncompact
    Indicates that the object (such as a space or set) lacks compactness, meaning it does not satisfy the property that every open cover has a finite subcover.
  • B. isRiemannianMetricOn
    Indicates that one object serves as a Riemannian metric defined on another object, typically a manifold, specifying an inner product on each tangent space.
  • C. isNonzeroFor
    Indicates that a given value, function, or quantity is not equal to zero under specified conditions or for specified inputs.
  • D. isNonAbelian
    Indicates that the operation or structure in question does not satisfy commutativity, so the order of applying the operation matters.
  • E. isConcaveIn
    Indicates that a function or relation curves inward (is concave) with respect to a specified variable or argument, so that any line segment between two points on its graph lies below or on the graph.
  • 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_69bf413573c08190beae400c485d2132 completed March 22, 2026, 1:09 a.m.
NEDg Description generation batch_69bf4364b2f48190b69cc27ca6900892 completed March 22, 2026, 1:18 a.m.
NED2 Entity disambiguation (via description) batch_69bf43b523a88190938662ae89eba502 completed March 22, 2026, 1:19 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.