Triple

T20509495
Position Surface form Disambiguated ID Type / Status
Subject Heisenberg Lie algebra E503521 entity
Predicate instanceOf P0 FINISHED
Object nilpotent Lie algebra C43708 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: nilpotent Lie algebra
Context triple: [Heisenberg Lie algebra, instanceOf, nilpotent Lie algebra]
  • A. subalgebra of a Lie algebra
    A subalgebra of a Lie algebra is a linear subspace that is closed under the Lie bracket, meaning the bracket of any two of its elements remains within the subspace.
  • B. 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.
  • C. Weyl algebra
    The Weyl algebra is the associative algebra generated by variables and their corresponding differential operators subject to canonical commutation relations, typically modeling the algebraic structure of quantum mechanical observables.
  • D. nonassociative ring
    A nonassociative ring is an algebraic structure with two binary operations (addition and multiplication) where addition forms an abelian group, multiplication is distributive over addition, but multiplication is not required to be associative.
  • E. 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.
  • F. None of above. chosen

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_69e0b4b1e52c8190894281cf7e3283ab completed April 16, 2026, 10:06 a.m.
Created at: April 16, 2026, 11:36 a.m.