requiresProperty
P42360
predicate
Indicates that one entity depends on another entity possessing a specific property or attribute in order for a condition, action, or relationship to hold.
All labels observed (13)
| Label | Occurrences |
|---|---|
| requiresProperty canonical | 15 |
| requiresAttribute | 9 |
| requiresTrait | 4 |
| propertyRequirement | 3 |
| dependsOnProperty | 2 |
| requireCondition | 2 |
| requiresPhase | 2 |
| requiresPropertyOfGeneratingFunction | 2 |
| requiresGraphProperty | 1 |
| requiresProject | 1 |
| requiresPropertySemantics | 1 |
| requiresPropertyType | 1 |
| requiresPurity | 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: requiresProperty
Generated description
Indicates that one entity depends on another entity possessing a specific property or attribute in order for a condition, action, or relationship to hold.
Sample triples (44)
| Subject | Object |
|---|---|
| Radon–Nikodym derivative | absolute continuity of measures ⓘ |
| Jacobi polynomials | α > -1 via predicate surface "requireCondition" ⓘ |
| Jacobi polynomials | β > -1 via predicate surface "requireCondition" ⓘ |
|
App protocol
surface form:
App protocol (SwiftUI)
|
var body: some Scene ⓘ |
| CountQueuingStrategy | highWaterMark ⓘ |
| Silver Award | yes via predicate surface "requiresProject" ⓘ |
| centre (ice hockey) | stamina via predicate surface "requiresAttribute" ⓘ |
| centre (ice hockey) | hockey sense via predicate surface "requiresAttribute" ⓘ |
| centre (ice hockey) | strong communication on ice via predicate surface "requiresAttribute" ⓘ |
| BidirectionalCollection | startIndex ⓘ |
| BidirectionalCollection | endIndex ⓘ |
| BidirectionalCollection | indices ⓘ |
| BidirectionalCollection | isEmpty ⓘ |
| Asr | yes via predicate surface "requiresPurity" ⓘ |
| Freyd–Kelly factorization system | every morphism factors as a morphism in the first class followed by a morphism in the second class ⓘ |
| Freyd–Kelly factorization system | lifting properties between the two classes of morphisms ⓘ |
| Freyd–Kelly factorization system | closure of the two classes of morphisms under composition ⓘ |
| CPT theorem | Lorentz invariance ⓘ |
| CPT theorem | locality ⓘ |
| CPT theorem | Hermitian Hamiltonian ⓘ |
| Batch Normalization | training phase via predicate surface "requiresPhase" ⓘ |
| Batch Normalization | inference phase via predicate surface "requiresPhase" ⓘ |
| Gunn effect | negative differential resistance ⓘ |
|
NHL players
surface form:
NHL player
|
speed via predicate surface "requiresAttribute" ⓘ |
|
NHL players
surface form:
NHL player
|
strength via predicate surface "requiresAttribute" ⓘ |
|
NHL players
surface form:
NHL player
|
endurance via predicate surface "requiresAttribute" ⓘ |
|
NHL players
surface form:
NHL player
|
agility via predicate surface "requiresAttribute" ⓘ |
|
NHL players
surface form:
NHL player
|
hand–eye coordination via predicate surface "requiresAttribute" ⓘ |
|
NHL players
surface form:
NHL player
|
toughness via predicate surface "requiresAttribute" ⓘ |
| NSSecureCoding | +supportsSecureCoding ⓘ |
| NSSecureCoding | BOOL via predicate surface "requiresPropertyType" ⓘ |
| NSSecureCoding | class property via predicate surface "requiresPropertySemantics" ⓘ |
| Bolzano–Weierstrass theorem | completeness of Euclidean space via predicate surface "dependsOnProperty" ⓘ |
| Bolzano–Weierstrass theorem | closed and bounded subsets of ℝⁿ are compact via predicate surface "dependsOnProperty" ⓘ |
| Roman equestrian order | minimum wealth threshold via predicate surface "propertyRequirement" ⓘ |
| Roman equestrian order | higher than ordinary citizens via predicate surface "propertyRequirement" ⓘ |
| Roman equestrian order | lower than senatorial class via predicate surface "propertyRequirement" ⓘ |
| Corleone family consigliere | loyalty via predicate surface "requiresTrait" ⓘ |
| Corleone family consigliere | discretion via predicate surface "requiresTrait" ⓘ |
| Corleone family consigliere | intelligence via predicate surface "requiresTrait" ⓘ |
| Corleone family consigliere | legal knowledge via predicate surface "requiresTrait" ⓘ |
| Prim's minimum spanning tree algorithm | connectedness for full spanning tree via predicate surface "requiresGraphProperty" ⓘ |
| Stieltjes measure | nondecreasing via predicate surface "requiresPropertyOfGeneratingFunction" ⓘ |
| Stieltjes measure | right-continuous via predicate surface "requiresPropertyOfGeneratingFunction" ⓘ |