providesProperty
P3699
predicate
Indicates that one entity supplies, grants, or makes a particular property or attribute available to another entity.
All labels observed (9)
| Label | Occurrences |
|---|---|
| providesProperty canonical | 85 |
| ensuresProperty | 25 |
| exposesProperty | 19 |
| addsProperty | 4 |
| returnProperty | 2 |
| showsPropertyOf | 2 |
| gainsPropertiesFrom | 1 |
| propertyProvided | 1 |
| providedProperty | 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: providesProperty
Generated description
Indicates that one entity supplies, grants, or makes a particular property or attribute available to another entity.
Sample triples (140)
| Subject | Object |
|---|---|
| XChaCha20-Poly1305 AEAD construction | confidentiality ⓘ |
| XChaCha20-Poly1305 AEAD construction | integrity ⓘ |
| XChaCha20-Poly1305 AEAD construction | authenticity ⓘ |
| SqlTransaction | all-or-nothing execution of a set of SQL statements via predicate surface "ensuresProperty" ⓘ |
| DSA | message integrity via predicate surface "ensuresProperty" ⓘ |
| DSA | signer authentication via predicate surface "ensuresProperty" ⓘ |
| DSA | signature authenticity via predicate surface "ensuresProperty" ⓘ |
|
MTProto encryption protocol
surface form:
MTProto
|
confidentiality ⓘ |
|
MTProto encryption protocol
surface form:
MTProto
|
integrity ⓘ |
|
MTProto encryption protocol
surface form:
MTProto
|
replay protection ⓘ |
|
MTProto encryption protocol
surface form:
MTProto
|
forward secrecy (in secret chats) ⓘ |
| Stone’s theorem on one-parameter unitary groups | the generator of a strongly continuous one-parameter unitary group is densely defined via predicate surface "ensuresProperty" ⓘ |
| Stone’s theorem on one-parameter unitary groups | the generator of a strongly continuous one-parameter unitary group is closed via predicate surface "ensuresProperty" ⓘ |
| SIV mode | confidentiality ⓘ |
| SIV mode | integrity ⓘ |
| SIV mode | authenticity ⓘ |
| SIV mode | nonce-misuse resistance ⓘ |
|
PMAC message authentication code
surface form:
PMAC
|
data integrity ⓘ |
|
PMAC message authentication code
surface form:
PMAC
|
message authentication ⓘ |
|
PMAC message authentication code
surface form:
PMAC
|
unforgeability ⓘ |
| Sword of Gryffindor | substances that strengthen it via predicate surface "gainsPropertiesFrom" ⓘ |
|
Karp reductions
surface form:
Karp reduction
|
if B is in P and A ≤_m^P B then A is in P via predicate surface "ensuresProperty" ⓘ |
| XML Signature | data integrity via predicate surface "ensuresProperty" ⓘ |
| XML Signature | authenticity via predicate surface "ensuresProperty" ⓘ |
| XML Signature | non-repudiation via predicate surface "ensuresProperty" ⓘ |
| TLS-over-TCP | confidentiality ⓘ |
| TLS-over-TCP | integrity ⓘ |
| TLS-over-TCP | authentication ⓘ |
| TLS-over-TCP | replay protection ⓘ |
| TLS-over-TCP | endpoint identity verification ⓘ |
| NIST SP 800-38E | confidentiality via predicate surface "ensuresProperty" ⓘ |
| CBC-MAC | data integrity ⓘ |
| CBC-MAC | data origin authentication ⓘ |
| CCM | confidentiality ⓘ |
| CCM | data integrity ⓘ |
| CCM | authentication ⓘ |
| System.IO.Path | DirectorySeparatorChar ⓘ |
| System.IO.Path | AltDirectorySeparatorChar ⓘ |
| System.IO.Path | PathSeparator ⓘ |
| System.IO.Path | VolumeSeparatorChar ⓘ |
| System.RuntimeType | FullName via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | Name via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | Namespace via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | Assembly via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | BaseType via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | IsGenericType via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | IsArray via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | IsClass via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | IsInterface via predicate surface "exposesProperty" ⓘ |
| System.RuntimeType | IsValueType via predicate surface "exposesProperty" ⓘ |