Triple

T25934589
Position Surface form Disambiguated ID Type / Status
Subject Dolan–Grady relations E653519 entity
Predicate hasMathematicalContext P127034 FINISHED
Object Lie algebras NE NERFINISHED

How this triple was built (2 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 algebras | Statement: [Dolan–Grady relations, hasMathematicalContext, Lie algebras]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: hasMathematicalContext
Context triple: [Dolan–Grady relations, hasMathematicalContext, Lie algebras]
  • A. hasMathematicalDiscipline chosen
    Indicates that one entity is associated with or characterized by a particular branch or field of mathematics.
  • B. hasMathematicalInterest
    Indicates that one entity has an interest in, curiosity about, or engagement with mathematics in relation to another entity or mathematical subject.
  • C. hasMathematicalProperty
    Indicates that one entity possesses or exhibits a specific mathematical property or characteristic.
  • D. mathematicallyUses
    Indicates that one entity employs or applies another entity within a mathematical context, such as in a formula, proof, computation, or theoretical framework.
  • E. supportsMathematicsTopic
    Indicates that one entity provides assistance, resources, or reinforcement for understanding or working with a particular mathematics topic.
  • F. None of above.

Provenance (3 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_69e7ab3fd2f881908837305e4ba98011 completed April 21, 2026, 4:52 p.m.
NER Named-entity recognition batch_69fb2e940d5c8190bceae77daf4ef512 completed May 6, 2026, 12:05 p.m.
PD Predicate disambiguation batch_69f9fec70bd881909c658a3c5020318b completed May 5, 2026, 2:29 p.m.
Created at: April 22, 2026, 8:39 a.m.