Triple

T3037534
Position Surface form Disambiguated ID Type / Status
Subject Andrei Kolmogorov E83045 entity
Predicate notableWork P4 FINISHED
Object Kolmogorov axioms
The Kolmogorov axioms are the standard mathematical foundation of probability theory, formalizing probabilities as measures on a sigma-algebra that satisfy non-negativity, normalization, and countable additivity.
E320431 NE FINISHED

How this triple was built (4 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: Kolmogorov axioms | Statement: [Andrei Kolmogorov, notableWork, Kolmogorov axioms]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Kolmogorov axioms
Context triple: [Andrei Kolmogorov, notableWork, Kolmogorov axioms]
  • A. Shannon–Khinchin axioms
    The Shannon–Khinchin axioms are a set of fundamental conditions that uniquely characterize Shannon entropy as the standard measure of information and uncertainty in probability theory and information theory.
  • B. Carathéodory’s extension theorem
    Carathéodory’s extension theorem is a fundamental result in measure theory that guarantees a unique extension of a pre-measure defined on an algebra of sets to a complete measure on the generated σ-algebra.
  • C. Zermelo–Fraenkel set theory
    Zermelo–Fraenkel set theory is the standard axiomatic framework for modern set theory, designed to avoid paradoxes and provide a rigorous foundation for much of mathematics.
  • D. Foundations of Set Theory (with Andrey Kolmogorov)
    "Foundations of Set Theory" is a classic 20th-century mathematical text co-authored by Pavel Alexandrov and Andrey Kolmogorov that systematically develops the basic concepts and axioms of set theory.
  • E. Logical Foundations of Probability
    Logical Foundations of Probability is a seminal philosophical work by Rudolf Carnap that develops a rigorous logical and formal account of probability and inductive reasoning.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Kolmogorov axioms
Triple: [Andrei Kolmogorov, notableWork, Kolmogorov axioms]
Generated description
The Kolmogorov axioms are the standard mathematical foundation of probability theory, formalizing probabilities as measures on a sigma-algebra that satisfy non-negativity, normalization, and countable additivity.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Kolmogorov axioms
Target entity description: The Kolmogorov axioms are the standard mathematical foundation of probability theory, formalizing probabilities as measures on a sigma-algebra that satisfy non-negativity, normalization, and countable additivity.
  • A. Shannon–Khinchin axioms
    The Shannon–Khinchin axioms are a set of fundamental conditions that uniquely characterize Shannon entropy as the standard measure of information and uncertainty in probability theory and information theory.
  • B. Carathéodory’s extension theorem
    Carathéodory’s extension theorem is a fundamental result in measure theory that guarantees a unique extension of a pre-measure defined on an algebra of sets to a complete measure on the generated σ-algebra.
  • C. Zermelo–Fraenkel set theory
    Zermelo–Fraenkel set theory is the standard axiomatic framework for modern set theory, designed to avoid paradoxes and provide a rigorous foundation for much of mathematics.
  • D. Foundations of Set Theory (with Andrey Kolmogorov)
    "Foundations of Set Theory" is a classic 20th-century mathematical text co-authored by Pavel Alexandrov and Andrey Kolmogorov that systematically develops the basic concepts and axioms of set theory.
  • E. Logical Foundations of Probability
    Logical Foundations of Probability is a seminal philosophical work by Rudolf Carnap that develops a rigorous logical and formal account of probability and inductive reasoning.
  • F. None of above. chosen

Provenance (5 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_69ad8b2298908190a7cb4e9bdbf064d0 completed March 8, 2026, 2:43 p.m.
NER Named-entity recognition batch_69ad9b2cd4988190b52fe3616ecbe9ef completed March 8, 2026, 3:52 p.m.
NED1 Entity disambiguation (via context triple) batch_69b1dec8778c8190a5e06a29a0218404 completed March 11, 2026, 9:29 p.m.
NEDg Description generation batch_69b1e2c4aaa88190bb5e39c51d0583f0 completed March 11, 2026, 9:46 p.m.
NED2 Entity disambiguation (via description) batch_69b1e3228f488190b13c948c6c5d13d0 completed March 11, 2026, 9:48 p.m.
Created at: March 8, 2026, 3:01 p.m.