Triple

T11747160
Position Surface form Disambiguated ID Type / Status
Subject John Venn E279312 entity
Predicate notableWork P4 FINISHED
Object Symbolic Logic E279477 NE FINISHED

Disambiguation candidates (1 decision)

The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.

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)

Stage Batch ID Job type Status
creating batch_69d6ab01038c819080714901502c84fc elicitation completed
NER batch_69d8a50763a081908597da118bd0a64e ner completed
NED1 batch_69f019f5f29c81909d80a9e6127ec6ef ned_source_triple completed
Created at: April 8, 2026, 9:41 p.m.