Triple

T6282397
Position Surface form Disambiguated ID Type / Status
Subject Lie pseudogroup E140810 entity
Predicate hasInfinitesimalObject P5510 FINISHED
Object Lie algebroid
A Lie algebroid is a geometric structure that generalizes Lie algebras and tangent bundles, encoding infinitesimal symmetries on manifolds via a vector bundle with a Lie bracket and an anchor map.
E581260 NE FINISHED

How this triple was built (5 steps)

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.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Lie algebroid | Statement: [Lie pseudogroup, hasInfinitesimalObject, Lie algebroid]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Lie algebroid
Context triple: [Lie pseudogroup, hasInfinitesimalObject, Lie algebroid]
  • A. Lie algebras
    Lie algebras are algebraic structures used to study continuous symmetries, especially those arising from Lie groups, via a linearized, infinitesimal perspective.
  • B. Lie pseudogroup
    A Lie pseudogroup is a collection of local diffeomorphisms on a manifold that is closed under composition, inversion, and restriction, generalizing the concept of a Lie group to transformations defined only locally.
  • C. Lie bracket
    The Lie bracket is a bilinear, antisymmetric operation on a Lie algebra that measures the noncommutativity of its elements and encodes its infinitesimal structure.
  • D. Lie theory
    Lie theory is a branch of mathematics that studies continuous symmetry through Lie groups and Lie algebras, with deep applications in geometry, analysis, and theoretical physics.
  • E. Carathéodory–Jacobi–Lie theorem
    The Carathéodory–Jacobi–Lie theorem is a fundamental result in symplectic geometry and Hamiltonian mechanics that provides canonical local coordinates adapted to a given set of commuting functions.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Lie algebroid
Triple: [Lie pseudogroup, hasInfinitesimalObject, Lie algebroid]
Generated description
A Lie algebroid is a geometric structure that generalizes Lie algebras and tangent bundles, encoding infinitesimal symmetries on manifolds via a vector bundle with a Lie bracket and an anchor map.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Lie algebroid
Target entity description: A Lie algebroid is a geometric structure that generalizes Lie algebras and tangent bundles, encoding infinitesimal symmetries on manifolds via a vector bundle with a Lie bracket and an anchor map.
  • A. Lie algebras
    Lie algebras are algebraic structures used to study continuous symmetries, especially those arising from Lie groups, via a linearized, infinitesimal perspective.
  • B. Lie pseudogroup
    A Lie pseudogroup is a collection of local diffeomorphisms on a manifold that is closed under composition, inversion, and restriction, generalizing the concept of a Lie group to transformations defined only locally.
  • C. Lie bracket
    The Lie bracket is a bilinear, antisymmetric operation on a Lie algebra that measures the noncommutativity of its elements and encodes its infinitesimal structure.
  • D. Lie theory
    Lie theory is a branch of mathematics that studies continuous symmetry through Lie groups and Lie algebras, with deep applications in geometry, analysis, and theoretical physics.
  • E. Carathéodory–Jacobi–Lie theorem
    The Carathéodory–Jacobi–Lie theorem is a fundamental result in symplectic geometry and Hamiltonian mechanics that provides canonical local coordinates adapted to a given set of commuting functions.
  • F. None of above. chosen
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: hasInfinitesimalObject
Context triple: [Lie pseudogroup, hasInfinitesimalObject, Lie algebroid]
  • A. isInfinite
    Indicates that something has no finite limit, bound, or endpoint in size, extent, or duration.
  • B. finiteAt
    Indicates that a function, quantity, or value remains finite (not infinite or undefined) at a specified point or under a given condition.
  • C. hasApproximateNumberOfMiniatures
    Indicates that an entity is associated with an estimated or non-exact count of miniatures.
  • D. containsObjectsBeyond
    Indicates that a container or space holds additional objects beyond a specified set, limit, or boundary.
  • E. hasObject chosen
    Indicates that an entity is associated with or possesses a particular object as part of a relationship or action.
  • F. None of above.

Provenance (6 batches)

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_69c008cd17c8819082b82d3fbeb68047 completed March 22, 2026, 3:20 p.m.
NER Named-entity recognition batch_69c063f956c08190ae0f198ccbd68b42 completed March 22, 2026, 9:49 p.m.
NED1 Entity disambiguation (via context triple) batch_69c51962132881909a2eccd1203e03c1 completed March 26, 2026, 11:32 a.m.
NEDg Description generation batch_69c51b4803e08190ac067896da3400e5 completed March 26, 2026, 11:40 a.m.
NED2 Entity disambiguation (via description) batch_69c51bf81cfc8190a6f0e4ca74c7ff05 completed March 26, 2026, 11:43 a.m.
PD Predicate disambiguation batch_69c05608a5608190b22a1fdc4060470d completed March 22, 2026, 8:50 p.m.
Created at: March 22, 2026, 4:26 p.m.