Triple

T11747160
Position Surface form Disambiguated ID Type / Status
Subject John Venn E279312 entity
Predicate notableWork P4 FINISHED
Object Symbolic Logic E279477 NE 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: Symbolic Logic | Statement: [John Venn, notableWork, Symbolic Logic]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Symbolic Logic
Context triple: [John Venn, notableWork, Symbolic Logic]
  • A. Symbolic Logic chosen
    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
    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. Formal and Transcendental Logic
    Formal and Transcendental Logic is a major philosophical work by Edmund Husserl that develops a rigorous account of logic grounded in transcendental phenomenology and the structures of consciousness.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

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_69d6ab01038c819080714901502c84fc completed April 8, 2026, 7:22 p.m.
NER Named-entity recognition batch_69d8a50763a081908597da118bd0a64e completed April 10, 2026, 7:21 a.m.
NED1 Entity disambiguation (via context triple) batch_69f019f5f29c81909d80a9e6127ec6ef completed April 28, 2026, 2:22 a.m.
Created at: April 8, 2026, 9:41 p.m.