uniquenessCondition
P38254
predicate
Indicates that a specified element, value, or combination of attributes must be unique within a given set, context, or domain, with no duplicates allowed.
All labels observed (12)
| Label | Occurrences |
|---|---|
| uniquenessCondition canonical | 3 |
| addressUniquenessEnsuredBy | 1 |
| codeUniqueness | 1 |
| elementUniqueness | 1 |
| hasUniquenessConstraint | 1 |
| isUniquePer | 1 |
| keyUniqueness | 1 |
| mustBeUniquePer | 1 |
| requiresUnique | 1 |
| tagUniqueness | 1 |
| uniquePer | 1 |
| uniquenessConstraint | 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: uniquenessCondition
Generated description
Indicates that a specified element, value, or combination of attributes must be unique within a given set, context, or domain, with no duplicates allowed.
Sample triples (14)
| Subject | Object |
|---|---|
| Riemann mapping theorem | The conformal map is unique up to post-composition with a conformal automorphism of the unit disk ⓘ |
| Riemann mapping theorem | The conformal map is unique if one fixes the image of a point and the argument of the derivative at that point ⓘ |
| Ulam sequence | sum representation must be unique via predicate surface "hasUniquenessConstraint" ⓘ |
| ISO 10383 MIC database | each MIC uniquely identifies a market or facility via predicate surface "codeUniqueness" ⓘ |
|
AES‑CCMP
surface form:
AES-CCMP
|
packet number per key-stream via predicate surface "requiresUnique" ⓘ |
| NSSet | uniqueElements via predicate surface "elementUniqueness" ⓘ |
| Registro Federal de Contribuyentes | contribuyente via predicate surface "isUniquePer" ⓘ |
| Erdős–Ko–Rado theorem | for n > 2k, the only maximum intersecting families are stars ⓘ |
| AppleTalk addressing | AARP probing via predicate surface "addressUniquenessEnsuredBy" ⓘ |
| SyncManager | each sync registration is identified by a tag string via predicate surface "tagUniqueness" ⓘ |
| Dictionary (Swift) | keys are unique via predicate surface "keyUniqueness" ⓘ |
| LDAP syntax descriptions | OID within a schema via predicate surface "mustBeUniquePer" ⓘ |
| UEI | registered entity via predicate surface "uniquePer" ⓘ |
| UEI | globally unique within U.S. federal award systems via predicate surface "uniquenessConstraint" ⓘ |