Triple

T1382140
Position Surface form Disambiguated ID Type / Status
Subject Gaussian distribution E29361 entity
Predicate isLimitIn P9149 FINISHED
Object central limit theorem LITERAL 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: central limit theorem | Statement: [Gaussian distribution, isLimitIn, central limit theorem]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: isLimitIn
Context triple: [Gaussian distribution, isLimitIn, central limit theorem]
  • A. isLimitOf chosen
    Indicates that one quantity, function, or sequence approaches a particular value as its input or index approaches some specified point or condition.
  • B. hasLimitation
    Indicates that an entity is subject to a constraint, restriction, or boundary that limits its scope, capability, or applicability.
  • C. gLimit
    Indicates a constraint or maximum boundary imposed on the magnitude, rate, or extent of something within a given context.
  • D. jurisdictionLimit
    Indicates the maximum scope or boundary within which an authority, organization, or rule is legally empowered to operate or exercise control.
  • E. loanLimitType
    Indicates the category or rule that defines how a loan’s maximum allowable amount or terms are limited.
  • 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_69a498d883a48190bfdca525296ef7ee completed March 1, 2026, 7:51 p.m.
NER Named-entity recognition batch_69a4c3361bf08190b3f6bbf82e17685b completed March 1, 2026, 10:52 p.m.
PD Predicate disambiguation batch_69a4befe343c81909f758440a531b5be completed March 1, 2026, 10:34 p.m.
Created at: March 1, 2026, 7:59 p.m.