Triple
T12703554
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Clausius theorem |
E303521
|
entity |
| Predicate | isFormulationOf |
P78878
|
FINISHED |
| Object | Clausius statement of the second law |
E303522
|
NE FINISHED |
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: Clausius statement of the second law | Statement: [Clausius theorem, isFormulationOf, Clausius statement of the second law]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Clausius statement of the second law Context triple: [Clausius theorem, isFormulationOf, Clausius statement of the second law]
-
A.
Clausius statement of the second law of thermodynamics
chosen
The Clausius statement of the second law of thermodynamics asserts that heat cannot spontaneously flow from a colder body to a hotter body without external work being performed.
-
B.
Kelvin–Planck statement of the second law of thermodynamics
The Kelvin–Planck statement of the second law of thermodynamics asserts that it is impossible to construct a cyclic heat engine that converts all absorbed heat from a single reservoir entirely into work without any other effect.
-
C.
Clausius theorem
The Clausius theorem is a fundamental result in thermodynamics that formalizes the second law by relating the cyclic integral of heat transfer over temperature to entropy, showing that this quantity is always less than or equal to zero for any cyclic process.
-
D.
second law of thermodynamics
The second law of thermodynamics is a fundamental physical principle stating that the total entropy of an isolated system can never decrease over time, establishing the direction of natural processes and the concept of irreversibility.
-
E.
Carathéodory’s formulation of the second law of thermodynamics
Carathéodory’s formulation of the second law of thermodynamics is a mathematically rigorous restatement of the second law based on the inaccessibility of certain thermodynamic states, providing a foundation for the concept of entropy without relying on cyclic processes or heat engines.
- 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: isFormulationOf Context triple: [Clausius theorem, isFormulationOf, Clausius statement of the second law]
-
A.
hasFormulation
Indicates that one entity is expressed, prepared, or configured in a particular form or composition defined by another entity.
-
B.
isFormulatedUsing
Indicates that something is created, defined, or expressed by means of a specified method, material, or set of components.
-
C.
formulatedInTermsOf
chosen
Indicates that one concept, statement, or representation is expressed, defined, or described using the language, framework, or components of another.
-
D.
formulatedIn
Indicates that something was created, developed, or expressed within a particular context, place, or framework.
-
E.
hasFormulationType
Indicates the specific way something is physically prepared or presented, such as its dosage form, composition, or delivery format.
- F. None of above.
Provenance (4 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_69d7bdef90d48190b46b88270e780946 |
completed | April 9, 2026, 2:55 p.m. |
| NER | Named-entity recognition | batch_69d962a32c6481908ddaddae4ea267bf |
completed | April 10, 2026, 8:50 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69f671b4832c8190abc17f5f33b3552a |
completed | May 2, 2026, 9:50 p.m. |
| PD | Predicate disambiguation | batch_69d960be63f081908a5ef5ef17a311bf |
completed | April 10, 2026, 8:42 p.m. |
Created at: April 9, 2026, 5:23 p.m.