Triple

T20509544
Position Surface form Disambiguated ID Type / Status
Subject Weyl geometry E503522 entity
Predicate instanceOf P0 FINISHED
Object generalization of Riemannian geometry C13705 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: generalization of Riemannian geometry
Context triple: [Weyl geometry, instanceOf, generalization of Riemannian geometry]
  • A. 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.
  • B. branch of differential geometry chosen
    A branch of differential geometry is a specialized area of study within differential geometry that focuses on analyzing smooth manifolds and related geometric structures using differential and integral calculus techniques.
  • C. 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.
  • D. Lorentzian manifold
    A Lorentzian manifold is a smooth manifold equipped with a metric tensor of signature \((-+\cdots+)\) (or its variants) that models spacetime in general relativity by distinguishing timelike, spacelike, and null directions.
  • E. curvature tensor
    A curvature tensor is a multilinear mathematical object in differential geometry that measures how much a space (or manifold) deviates from being flat by quantifying the failure of vectors to return to their original direction after parallel transport around infinitesimal loops.
  • 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_69e0b4b2aa788190ae9eb37c1d73b1f1 completed April 16, 2026, 10:06 a.m.
Created at: April 16, 2026, 11:36 a.m.