usedOrdinal
P92648
predicate
Indicates that one entity is used as an ordinal indicator or position marker relative to another entity.
All labels observed (2)
| Label | Occurrences |
|---|---|
| usedOrdinal canonical | 1 |
| usesOrdinal | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Gerhard Gentzen | epsilon nought (ε₀) ⓘ |
| Gentzen’s consistency proof for arithmetic | epsilon_0 (ε₀) via predicate surface "usesOrdinal" ⓘ |