Triple

T1535968
Position Surface form Disambiguated ID Type / Status
Subject Lorentz group E32549 entity
Predicate instanceOf P0 FINISHED
Object real Lie group C7234 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 Lie group
Context triple: [Lorentz group, instanceOf, real Lie group]
  • A. non-compact Lie group chosen
    A non-compact Lie group is a Lie group whose underlying topological space is not compact, meaning it is a smooth group manifold that is unbounded or not closed in the sense of compactness.
  • B. 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.
  • C. finite simple group
    A finite simple group is a finite group that has no nontrivial normal subgroups, meaning its only normal subgroups are the trivial group and the group itself.
  • 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. non-Abelian gauge group
    A non-Abelian gauge group is a symmetry group of a gauge theory whose elements do not commute, leading to self-interacting gauge fields and rich interaction structures such as those in the strong and weak nuclear forces.
  • 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_69a885ea86308190998f6bc14bb91f8e completed March 4, 2026, 7:20 p.m.
Created at: March 4, 2026, 7:26 p.m.