Triple

T21953478
Position Surface form Disambiguated ID Type / Status
Subject Borel subalgebras E542124 entity
Predicate instanceOf P0 FINISHED
Object notion in Lie theory C18641 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: notion in Lie theory
Context triple: [Borel subalgebras, instanceOf, notion in Lie theory]
  • A. concept in Lie theory chosen
    A concept in Lie theory is an abstract mathematical construct—such as a Lie group, Lie algebra, or representation—that captures continuous symmetries and their algebraic and geometric properties.
  • B. non-abelian Lie algebra
    A non-abelian Lie algebra is a Lie algebra whose Lie bracket is not identically zero on all pairs of elements, meaning there exist elements whose bracket does not commute.
  • C. nilpotent Lie algebra
    A nilpotent Lie algebra is a Lie algebra whose lower central series terminates in the zero subalgebra after finitely many steps, meaning repeated Lie brackets eventually vanish.
  • D. algebro-geometric notion
    An algebro-geometric notion is a concept that arises from studying geometric objects defined as solution sets to polynomial equations, using the tools and language of algebraic geometry.
  • 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.

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_69e0c47ef0e48190a50e1bcc43f4b3fd completed April 16, 2026, 11:14 a.m.
Created at: April 16, 2026, 7:59 p.m.