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

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"