isUniqueWithinSystem
P8937
predicate
Indicates that an entity exists only once and has no duplicates within the defined system or scope.
All labels observed (9)
| Label | Occurrences |
|---|---|
| isUniqueWithinSystem canonical | 21 |
| isUnique | 10 |
| uniqueWithinSystem | 9 |
| isUniquePosition | 3 |
| uniquenessProperty | 3 |
| identifiesUniquelyWithinSystem | 1 |
| isUniqueAsOfDiscovery | 1 |
| isUniquePerStructure | 1 |
| isUniqueRoleWithin | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: isUniqueWithinSystem
Generated description
Indicates that an entity exists only once and has no duplicates within the defined system or scope.
Sample triples (50)
| Subject | Object |
|---|---|
| MCV |
National Rail
ⓘ
surface form:
National Rail station codes
|
| Levi-Civita connection | true via predicate surface "isUnique" ⓘ |
| Platonic solids | only five convex regular polyhedra exist in 3D Euclidean space via predicate surface "uniquenessProperty" ⓘ |
| SHR | National Rail station code set via predicate surface "uniqueWithinSystem" ⓘ |
| EDB | yes ⓘ |
| Draupnir | yes via predicate surface "isUnique" ⓘ |
| SMMC | true via predicate surface "isUniquePosition" ⓘ |
| National Insurance number | true via predicate surface "isUnique" ⓘ |
| CMSAF | true via predicate surface "isUniquePosition" ⓘ |
| NRW | National Rail station codes via predicate surface "uniqueWithinSystem" ⓘ |
| CMSSF | true via predicate surface "isUniquePosition" ⓘ |
| Chief Financial Officer of PayPal | PayPal via predicate surface "isUniqueRoleWithin" ⓘ |
| NQU | true ⓘ |
| SNN | Swinton railway station (South Yorkshire) via predicate surface "identifiesUniquelyWithinSystem" ⓘ |
| Dactyl | first known satellite of an asteroid via predicate surface "isUniqueAsOfDiscovery" ⓘ |
| PRG | IATA airport code system ⓘ |
| MD | true ⓘ |
| SOU | National Rail station codes ⓘ |
| Hermite normal form | each integer matrix has a unique Hermite normal form up to unimodular transformations via predicate surface "uniquenessProperty" ⓘ |
| DSY | true ⓘ |
| NMP | true ⓘ |
| CPW | National Rail station codes via predicate surface "uniqueWithinSystem" ⓘ |
| OEDF | ICAO airport code system ⓘ |
| CI | Long Island Rail Road via predicate surface "uniqueWithinSystem" NERFINISHED ⓘ |
| GFA | ICAO airline designators via predicate surface "uniqueWithinSystem" NERFINISHED ⓘ |
| EGH | true ⓘ |
| TWB | true ⓘ |
| Laurent series | expansion is unique in its annulus of convergence via predicate surface "uniquenessProperty" ⓘ |
| ED | true via predicate surface "uniqueWithinSystem" ⓘ |
| PF | yes ⓘ |
| Black Arrow | true via predicate surface "isUnique" ⓘ |
| SYA | true via predicate surface "uniqueWithinSystem" ⓘ |
| Ddr | true ⓘ |
| Ehv | yes ⓘ |
| PET | true ⓘ |
| ACT | National Rail via predicate surface "uniqueWithinSystem" NERFINISHED ⓘ |
| EXS | yes via predicate surface "uniqueWithinSystem" ⓘ |
| D3 | yes ⓘ |
| JGK | yes ⓘ |
| OSS | Toronto Transit Commission station codes ⓘ |
| ABZ | IATA airport code system ⓘ |
| A-10 | true ⓘ |
| A-1 | true ⓘ |
| Elise the Trailblazer | True via predicate surface "isUnique" ⓘ |
| Obsidian Edged Blade | false via predicate surface "isUnique" ⓘ |
| Ocean Temple | three Elder Guardians per monument via predicate surface "isUniquePerStructure" ⓘ |
| Brenier map | up to source-measure null sets via predicate surface "isUnique" ⓘ |
| Ashkandi, Greatsword of the Brotherhood | true via predicate surface "isUnique" ⓘ |
| Chromatically Tempered Sword | true via predicate surface "isUnique" ⓘ |
| Elementium Reinforced Bulwark | true via predicate surface "isUnique" ⓘ |