Triple

T32516652
Position Surface form Disambiguated ID Type / Status
Subject Weierstrass form E831077 entity
Predicate hasGeneralEquation P81134 FINISHED
Object y^2 + a_1 x y + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6 LITERAL FINISHED

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: y^2 + a_1 x y + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6 | Statement: [Weierstrass form, hasGeneralEquation, y^2 + a_1 x y + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: hasGeneralEquation
Context triple: [Weierstrass form, hasGeneralEquation, y^2 + a_1 x y + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6]
  • A. hasGeneralFormula chosen
    Indicates that an entity (such as a class of compounds or expressions) is characterized by a general or canonical formula that represents all its specific instances.
  • B. hasEquationForm
    Indicates that one entity is expressed or represented in the form of a specific equation.
  • C. hasGeneralNonhomogeneousForm
    Indicates that something possesses a general form or structure that is nonhomogeneous, typically meaning it varies across its domain rather than being uniform or constant.
  • D. hasPolarEquation
    Indicates that an entity is associated with, or can be represented by, a specific equation expressed in polar coordinates.
  • E. curveEquation
    Indicates that one entity is the mathematical equation that defines or represents the curve described by the other entity.
  • 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_69f3492318348190ba37fb6b5f1d67f4 completed April 30, 2026, 12:20 p.m.
NER Named-entity recognition batch_69fcef654d588190b29ecc76678d1aa0 completed May 7, 2026, 8 p.m.
PD Predicate disambiguation batch_69fcecdb97f48190b382b7d13be92dc0 completed May 7, 2026, 7:49 p.m.
Created at: May 1, 2026, 1 a.m.