Triple

T21077297
Position Surface form Disambiguated ID Type / Status
Subject Playfair's axiom E519271 entity
Predicate reformulationOf P86346 FINISHED
Object Euclid's parallel postulate NE NERFINISHED

How this triple was built (3 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: Euclid's parallel postulate | Statement: [Playfair's axiom, reformulationOf, Euclid's parallel postulate]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Euclid's parallel postulate
Context triple: [Playfair's axiom, reformulationOf, Euclid's parallel postulate]
  • A. Euclid's postulates
    Euclid's postulates are the foundational axioms of classical Euclidean geometry, defining basic properties of points, lines, and planes from which the rest of the geometry is logically derived.
  • B. Playfair's axiom chosen
    Playfair's axiom is a reformulation of Euclid’s parallel postulate stating that through a point not on a given line there is exactly one line parallel to the given line, fundamental to Euclidean geometry.
  • C. Commentary on the Difficulties of Certain Postulates of Euclid
    Commentary on the Difficulties of Certain Postulates of Euclid is a mathematical treatise by Omar Khayyam in which he critically examines and attempts to resolve issues in Euclid’s postulates, especially the parallel postulate, laying early groundwork for later developments in geometry.
  • D. Commentary on Euclid's Elements
    Commentary on Euclid's Elements is a late antique philosophical and mathematical treatise by Proclus that analyzes and interprets Euclid’s foundational geometry text while preserving valuable information about earlier Greek mathematics.
  • E. Thales’ theorem
    Thales’ theorem is a fundamental result in Euclidean geometry stating that any angle inscribed in a semicircle is a right angle.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: reformulationOf
Context triple: [Playfair's axiom, reformulationOf, Euclid's parallel postulate]
  • A. mathematicallyReformulatedBy chosen
    Indicates that one entity has been expressed again in a different or more formal mathematical form by another entity.
  • B. reform
    Indicates bringing about significant changes to an existing system, practice, or entity in order to improve or correct it.
  • C. revisionOf
    Indicates that one entity is a modified or updated version of another earlier entity.
  • D. requestedReform
    Indicates that one entity has asked another entity to implement or consider a specific reform or change to an existing system, policy, or practice.
  • E. subjectToReformBy
    Indicates that an entity is undergoing or designated for changes, improvements, or restructuring carried out by another 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_69e0b506e59c8190849b71ed07929215 completed April 16, 2026, 10:08 a.m.
NER Named-entity recognition batch_69e702d77b8081908ecfb05ab391fd39 completed April 21, 2026, 4:53 a.m.
PD Predicate disambiguation batch_69e5dbfcd5e881908f1e4e0d2d237856 completed April 20, 2026, 7:55 a.m.
Created at: April 16, 2026, 2:49 p.m.