Triple

T461952
Position Surface form Disambiguated ID Type / Status
Subject Newtonian absolute space E7357 entity
Predicate criticizedBy P437 FINISHED
Object Gottfried Wilhelm Leibniz E16370 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: Gottfried Wilhelm Leibniz | Statement: [Newtonian absolute space, criticizedBy, Gottfried Wilhelm Leibniz]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Gottfried Wilhelm Leibniz
Context triple: [Newtonian absolute space, criticizedBy, Gottfried Wilhelm Leibniz]
  • A. Gottfried Wilhelm Leibniz chosen
    Gottfried Wilhelm Leibniz was a 17th-century German polymath and philosopher who co-invented calculus and made foundational contributions to logic, metaphysics, and mathematics.
  • B. Christian Wolff
    Christian Wolff was an 18th-century German rationalist philosopher whose systematic and rigorous approach to metaphysics and logic significantly shaped the development of Enlightenment thought and influenced Immanuel Kant.
  • C. René Descartes
    René Descartes was a 17th-century French philosopher, mathematician, and scientist, often called the "father of modern philosophy" and known for works such as "Meditations on First Philosophy" and the dictum "Cogito, ergo sum."
  • D. Johann Heinrich Lambert
    Johann Heinrich Lambert was an 18th-century German-Swiss polymath of the Enlightenment, renowned for his pioneering work in mathematics, physics, astronomy, and philosophy, including the first rigorous proof of the irrationality of π.
  • E. Pierre-Louis Moreau de Maupertuis
    Pierre-Louis Moreau de Maupertuis was an 18th-century French mathematician, philosopher, and astronomer best known for formulating the principle of least action and helping introduce Newtonian physics to continental Europe.
  • 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_69a2e7e5c5bc8190a1dc8178218fba40 completed Feb. 28, 2026, 1:04 p.m.
NER Named-entity recognition batch_69a2efbed5b88190a45716812eb4cfdf completed Feb. 28, 2026, 1:38 p.m.
NED1 Entity disambiguation (via context triple) batch_69a4746c304881909deb0fdcde69c1c5 completed March 1, 2026, 5:16 p.m.
Created at: Feb. 28, 2026, 1:12 p.m.