Triple

T4157292
Position Surface form Disambiguated ID Type / Status
Subject Lectures on the Logic of Arithmetic E91446 entity
Predicate appliesPrinciplesOf P1757 FINISHED
Object logical reasoning 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: logical reasoning | Statement: [Lectures on the Logic of Arithmetic, appliesPrinciplesOf, logical reasoning]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: appliesPrinciplesOf
Context triple: [Lectures on the Logic of Arithmetic, appliesPrinciplesOf, logical reasoning]
  • A. implementsPrinciple
    Indicates that an entity applies, follows, or puts into practice a specified principle in its design, behavior, or operation.
  • B. usesPrinciple chosen
    Indicates that one entity applies, relies on, or is based upon a particular principle in its functioning, reasoning, or design.
  • C. establishesPrinciple
    Indicates that an entity formulates, defines, or sets forth a foundational rule, guideline, or standard that others are expected to follow or build upon.
  • D. typeOfPrinciples
    Indicates a relationship where one entity specifies the kind or category of principles that another entity embodies, uses, or is governed by.
  • E. recognizesPrinciple
    Indicates that an entity acknowledges the validity, authority, or applicability of a particular principle.
  • 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_69aed9626ebc8190a39de631788bea3e completed March 9, 2026, 2:29 p.m.
NER Named-entity recognition batch_69af0321eee88190871c1d4bf44a5007 completed March 9, 2026, 5:28 p.m.
PD Predicate disambiguation batch_69af018dc90c8190a754b1bfbc802e80 completed March 9, 2026, 5:21 p.m.
Created at: March 9, 2026, 3:44 p.m.