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