Triple

T22328547
Position Surface form Disambiguated ID Type / Status
Subject Fubini–Study form E551964 entity
Predicate instanceOf P0 FINISHED
Object real differential form C27995 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: real differential form
Context triple: [Fubini–Study form, instanceOf, real differential form]
  • A. differential geometric object
    A differential geometric object is a mathematical entity, such as a manifold, tensor, or connection, defined on smooth spaces and characterized by properties that are invariant under smooth coordinate transformations.
  • B. alternating form chosen
    An alternating form is a multilinear map on a vector space that changes sign whenever two of its arguments are swapped, and hence vanishes whenever any two arguments are equal.
  • C. elliptic differential operator
    An elliptic differential operator is a linear differential operator whose principal symbol is invertible away from the zero section, ensuring strong regularity and smoothing properties for its solutions.
  • D. pseudo-Riemannian manifold
    A pseudo-Riemannian manifold is a smooth manifold equipped with a nondegenerate, symmetric metric tensor of arbitrary signature that allows measurement of lengths and angles, including those with indefinite sign as in spacetime geometry.
  • E. 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.
  • 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.