Triple

T22328686
Position Surface form Disambiguated ID Type / Status
Subject Kähler cone E551967 entity
Predicate instanceOf P0 FINISHED
Object convex cone C3714 CONCEPT FINISHED

How this triple was built (1 step)

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.

CD Concept disambiguation gpt-5-mini-2025-08-07
Target class: convex cone
Context triple: [Kähler cone, instanceOf, convex cone]
  • A. result in convex analysis
    In convex analysis, a result is a formally stated and proven fact—such as a theorem, lemma, or proposition—that characterizes properties or relationships of convex sets, convex functions, or related optimization structures.
  • B. extreme point
    An extreme point of a convex set is a point in the set that cannot be expressed as a nontrivial convex combination of other distinct points from the set.
  • C. quadratic form
    A quadratic form is a homogeneous polynomial of degree two in several variables, typically expressed as xᵀAx for a symmetric matrix A, that defines a scalar-valued function capturing curvature and geometric properties such as lengths, angles, and conic sections.
  • D. polyhedral optimizer
    A polyhedral optimizer is a compiler component that analyzes and transforms loop nests using polyhedral models to improve performance through advanced loop restructuring, parallelization, and locality optimization.
  • E. geometric object chosen
    A geometric object is an abstract entity defined by points, lines, surfaces, or volumes in space, characterized by properties such as shape, size, position, and orientation.
  • F. None of above.

Provenance (1 batch)

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_69e11e482f788190b78d1588fc26d606 completed April 16, 2026, 5:37 p.m.
Created at: April 16, 2026, 8:43 p.m.