constructionUses
P156711
predicate
Indicates that a construction activity, project, or structure makes use of a specified material, method, tool, or resource.
All labels observed (3)
| Label | Occurrences |
|---|---|
| constructionUses canonical | 17 |
| usesConstructionTechnology | 2 |
| craneUse | 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: constructionUses
Generated description
Indicates that a construction activity, project, or structure makes use of a specified material, method, tool, or resource.
Sample triples (20)
| Subject | Object |
|---|---|
| Hausdorff measure | countable covers by sets of small diameter ⓘ |
| Hausdorff measure | limit as diameter bound tends to zero ⓘ |
| Hausdorff measure | gauge function r^s ⓘ |
| Cassels–Tate pairing | Galois cohomology NERFINISHED ⓘ |
| Cassels–Tate pairing | Weil pairing NERFINISHED ⓘ |
| Cassels–Tate pairing | cup product in cohomology ⓘ |
| Neo-Islamic architecture | modern structural engineering via predicate surface "usesConstructionTechnology" ⓘ |
| Neo-Islamic architecture | high-rise construction techniques via predicate surface "usesConstructionTechnology" ⓘ |
| Beilinson regulator | higher Chow groups ⓘ |
| Beilinson regulator | Deligne complexes NERFINISHED ⓘ |
| Beilinson regulator | differential forms with logarithmic singularities ⓘ |
| Beilinson spectral sequence | Fourier–Mukai transform NERFINISHED ⓘ |
| Beilinson spectral sequence | resolution of the diagonal on P^n × P^n ⓘ |
|
Whitehead product in homotopy theory
surface form:
Whitehead product
|
wedge sum S^m ∨ S^n ⓘ |
|
Whitehead product in homotopy theory
surface form:
Whitehead product
|
attaching map from S^{m+n-1} to S^m ∨ S^n ⓘ |
|
Whitehead product in homotopy theory
surface form:
Whitehead product
|
commutator-like map on spheres ⓘ |
| Miquel point | circumcircle ⓘ |
| Miquel point | points on sides of triangle ⓘ |
| Miquel circle | circumcircles of triangles formed by three vertices of a quadrilateral ⓘ |
| Bergepanther | lifting tank components via predicate surface "craneUse" ⓘ |