isToolIn
P56888
predicate
Indicates that a tool is located within or contained inside a specified space, container, or context.
All labels observed (2)
| Label | Occurrences |
|---|---|
| isToolIn canonical | 20 |
| containsTool | 14 |
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: isToolIn
Generated description
Indicates that a tool is located within or contained inside a specified space, container, or context.
Sample triples (34)
| Subject | Object |
|---|---|
| constructible universe | inner model theory ⓘ |
| constructible universe | descriptive set theory ⓘ |
| constructible universe | proof theory of set theory ⓘ |
| Carathéodory metric | invariant distance theory in complex analysis ⓘ |
| Ease of Access Center | Narrator via predicate surface "containsTool" ⓘ |
| Ease of Access Center | Magnifier via predicate surface "containsTool" ⓘ |
| Ease of Access Center | On-Screen Keyboard via predicate surface "containsTool" ⓘ |
| Ease of Access Center | High Contrast settings via predicate surface "containsTool" ⓘ |
| Ease of Access Center | Sticky Keys settings via predicate surface "containsTool" ⓘ |
| Ease of Access Center | Filter Keys settings via predicate surface "containsTool" ⓘ |
| Ease of Access Center | Toggle Keys settings via predicate surface "containsTool" ⓘ |
| Ease of Access Center | Mouse Keys settings via predicate surface "containsTool" ⓘ |
| Ease of Access Center | Speech Recognition setup via predicate surface "containsTool" ⓘ |
| Vitali covering lemma | real-variable harmonic analysis ⓘ |
| Vitali covering lemma | singular integral theory ⓘ |
| Vitali covering lemma | differentiation theory of integrals ⓘ |
| Vitali covering lemma | geometric measure theory ⓘ |
| Dart SDK | dart format via predicate surface "containsTool" ⓘ |
| Dart SDK | dart test via predicate surface "containsTool" ⓘ |
| Dart SDK | dart pub via predicate surface "containsTool" ⓘ |
| Dart SDK | dart compile via predicate surface "containsTool" ⓘ |
| Dart SDK | dart analyze via predicate surface "containsTool" ⓘ |
| Bombieri norm | proofs of polynomial inequalities ⓘ |
| Bombieri norm | analytic estimates for exponential sums involving polynomials ⓘ |
| Laurent series | meromorphic function theory ⓘ |
| Laurent series | local analysis of complex functions ⓘ |
| Christoffel–Schwarz formula | geometric function theory ⓘ |
| Christoffel–Schwarz formula | numerical conformal mapping ⓘ |
| Brenier map | modern optimal transport theory ⓘ |
| Brenier map | partial differential equations ⓘ |
| Brenier map | geometric analysis ⓘ |
| Brenier map | probability theory ⓘ |
| Brenier map | machine learning ⓘ |
| Brenier map | fluid mechanics ⓘ |