Triple

T6396896
Position Surface form Disambiguated ID Type / Status
Subject Schrödinger equation E143962 entity
Predicate contrastWith P278 FINISHED
Object classical Hamilton–Jacobi equation E182751 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: classical Hamilton–Jacobi equation | Statement: [Schrödinger equation, contrastWith, classical Hamilton–Jacobi equation]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: classical Hamilton–Jacobi equation
Context triple: [Schrödinger equation, contrastWith, classical Hamilton–Jacobi equation]
  • A. Hamilton–Jacobi equation chosen
    The Hamilton–Jacobi equation is a fundamental partial differential equation in classical mechanics that reformulates dynamics in terms of a generating function, providing a powerful bridge to quantum mechanics and modern analytical methods.
  • B. Hamilton’s maximum principle
    Hamilton’s maximum principle is a fundamental analytical tool in geometric analysis that extends the classical maximum principle to tensor-valued quantities, playing a key role in studying the behavior of solutions to the Ricci flow and related geometric evolution equations.
  • C. Hamiltonian mechanics
    Hamiltonian mechanics is a reformulation of classical mechanics that describes physical systems in terms of generalized coordinates and conjugate momenta using a Hamiltonian function, providing a powerful framework for both classical and quantum physics.
  • D. Euler–Lagrange equation
    The Euler–Lagrange equation is a fundamental differential equation in the calculus of variations that provides the condition for a function to make a functional stationary, forming the basis of Lagrangian mechanics and many physical theories.
  • E. Carathéodory–Jacobi–Lie theorem
    The Carathéodory–Jacobi–Lie theorem is a fundamental result in symplectic geometry and Hamiltonian mechanics that provides canonical local coordinates adapted to a given set of commuting functions.
  • 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_69c008db906c819096f3597d55d95432 completed March 22, 2026, 3:20 p.m.
NER Named-entity recognition batch_69c068953968819083a94f5de3e11819 completed March 22, 2026, 10:09 p.m.
NED1 Entity disambiguation (via context triple) batch_69c6389bd9f48190af9811cf8cee124e completed March 27, 2026, 7:58 a.m.
Created at: March 22, 2026, 4:35 p.m.