Triple

T18162640
Position Surface form Disambiguated ID Type / Status
Subject C. I. Lewis E434804 entity
Predicate notableWork P4 FINISHED
Object Symbolic Logic NE NERFINISHED

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: Symbolic Logic | Statement: [C. I. Lewis, notableWork, Symbolic Logic]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Symbolic Logic
Context triple: [C. I. Lewis, notableWork, Symbolic Logic]
  • A. Symbolic Logic
    Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
  • B. A Survey of Symbolic Logic chosen
    A Survey of Symbolic Logic is an influential early 20th-century work that systematically presents and analyzes the foundations and methods of symbolic (mathematical) logic.
  • C. Formal Logic
    Formal Logic is a foundational 19th-century work in mathematical logic that systematically develops the principles of symbolic reasoning and inference.
  • D. Introduction to Logical Theory
    Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
  • E. On the Principles of Logic
    On the Principles of Logic is a philosophical work that systematically examines the foundations, structure, and methods of logical reasoning.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (2 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_69d8b90b7a188190b3fc7b8d4a6cd20a completed April 10, 2026, 8:47 a.m.
NER Named-entity recognition batch_69e4dec419788190a999a68f32fab39b completed April 19, 2026, 1:55 p.m.
Created at: April 10, 2026, 10:30 a.m.