Triple

T9052053
Position Surface form Disambiguated ID Type / Status
Subject Unicode 3.0 E216905 entity
Predicate addsBlocks P62553 FINISHED
Object Supplemental Mathematical Operators E610196 NE 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: Supplemental Mathematical Operators | Statement: [Unicode 3.0, addsBlocks, Supplemental Mathematical Operators]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Supplemental Mathematical Operators
Context triple: [Unicode 3.0, addsBlocks, Supplemental Mathematical Operators]
  • A. Supplemental Mathematical Operators chosen
    Supplemental Mathematical Operators is a Unicode block containing additional symbols used in advanced mathematical notation, such as operators for algebra, calculus, and logic.
  • B. Mathematike Syntaxis
    Mathematike Syntaxis, better known by its later Arabic-derived title Almagest, is Ptolemy’s foundational astronomical treatise that systematically presents the geocentric model of the cosmos and dominated Western and Islamic astronomy for over a millennium.
  • C. OpenMath
    OpenMath is a standard for representing the semantic meaning of mathematical expressions in a structured, machine-readable form to enable reliable exchange between computer programs.
  • D. Arabic Mathematical Alphabetic Symbols
    Arabic Mathematical Alphabetic Symbols are a set of Unicode characters designed to represent Arabic letters in mathematical notation, analogous to Latin and Greek mathematical alphabets.
  • E. Finite Operator Calculus
    Finite Operator Calculus is a mathematical framework, developed and popularized by Gian-Carlo Rota, that systematically studies sequences of polynomials and discrete analogues of differential operators using algebraic and combinatorial methods.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

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_69ca83d362e88190ae44b4e4dc194209 completed March 30, 2026, 2:08 p.m.
NER Named-entity recognition batch_69cc7a700de48190aa9f61d850e01cbd completed April 1, 2026, 1:52 a.m.
NED1 Entity disambiguation (via context triple) batch_69cfebd1450c819092dccae2c48b100d completed April 3, 2026, 4:33 p.m.
Created at: March 30, 2026, 7:10 p.m.