Triple
T14314114
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Bernstein set |
E354908
|
entity |
| Predicate | requiresAxiom |
P113929
|
FINISHED |
| Object | axiom of choice for existence proof |
—
|
LITERAL 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.
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: requiresAxiom Context triple: [Bernstein set, requiresAxiom, axiom of choice for existence proof]
-
A.
hasAxiom
Indicates that an entity is associated with, defined by, or governed through a specific axiom or set of axioms.
-
B.
axiom2
Indicates that the relationship or action is taken as a fundamental, assumed truth within the system, serving as a base rule from which other statements are derived.
-
C.
requiresBeliefIn
Indicates that one entity can only be valid, accessible, or fulfilled if belief in another specified entity or proposition is held.
-
D.
foundationAxiomHoldsIn
Indicates that the foundation (or regularity) axiom is satisfied within a given model, structure, or context.
-
E.
sufficientConditionFor
Indicates that the truth or occurrence of one entity guarantees or ensures the truth or occurrence of another entity.
- F. None of above. chosen
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d8278ed42c8190b9f882dcce611347 |
elicitation | completed |
| NER | batch_69de85b49e5481909b9ffab2d922e284 |
ner | completed |
| PD | batch_69de2a9515f4819081aabf251bca5878 |
pd | completed |
| PDg | batch_69de2e9ded24819099200349cf80e068 |
pdg | completed |
Created at: April 10, 2026, 1:12 a.m.