Triple
T15742167
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ramsey sentence |
E381626
|
entity |
| Predicate | logicalForm |
P4940
|
FINISHED |
| Object | there exists some entities such that the theory’s axioms hold of them |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d86d9cdb648190bf3171be0bd7d872 |
elicitation | completed |
| NER | batch_69e04fd97d6c8190b2fa6ca422bfe512 |
ner | completed |
Created at: April 10, 2026, 4:46 a.m.