providesAbstraction
P59095
predicate
Indicates that one entity offers a higher-level, simplified interface or conceptual layer that hides the underlying complexity of another entity.
All labels observed (12)
| Label | Occurrences |
|---|---|
| providesAbstraction canonical | 22 |
| hasAbstractionLevel | 13 |
| abstractionOver | 6 |
| providesAbstractionFor | 3 |
| hasAbstractionMechanism | 2 |
| providesAbstractionOver | 2 |
| supportsTransportAbstraction | 2 |
| abstractionFrom | 1 |
| abstractionHas | 1 |
| abstractionLayerFor | 1 |
| abstractionOf | 1 |
| coreAbstractionLibrary | 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: providesAbstraction
Generated description
Indicates that one entity offers a higher-level, simplified interface or conceptual layer that hides the underlying complexity of another entity.
Sample triples (55)
| Subject | Object |
|---|---|
| RMS (Record Management Services) | record-level data access ⓘ |
| spi-calculus | symbolic (Dolev–Yao) cryptography via predicate surface "hasAbstractionLevel" ⓘ |
| join-calculus | high-level model of distributed computation via predicate surface "hasAbstractionLevel" ⓘ |
| TextWindow object | high-level via predicate surface "hasAbstractionLevel" ⓘ |
| Wilkes microprogramming control | below machine-language instructions via predicate surface "hasAbstractionLevel" ⓘ |