Triple

T17752416
Position Surface form Disambiguated ID Type / Status
Subject SU(2) E443145 entity
Predicate instanceOf P0 FINISHED
Object simply connected Lie group C18167 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: simply connected Lie group
Context triple: [SU(2), instanceOf, simply connected Lie group]
  • A. simple Lie group
    A simple Lie group is a connected non-abelian Lie group whose Lie algebra is simple, meaning it has no nontrivial proper ideals and is not a direct sum of smaller Lie algebras.
  • B. non-compact Lie group
    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.
  • C. simply connected surface
    A simply connected surface is a two-dimensional topological space in which every closed loop can be continuously contracted to a point without leaving the surface.
  • D. topological group chosen
    A topological group is a group equipped with a topology such that the group operation and inversion are continuous maps with respect to that topology.
  • E. 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.
  • 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_69d8b9edf16c8190a59ebd245d378f4f completed April 10, 2026, 8:50 a.m.
Created at: April 10, 2026, 10:10 a.m.