constructs
P63686
predicate
Indicates that an agent builds, creates, or assembles something, typically resulting in a new or more complex entity or structure.
All labels observed (2)
| Label | Occurrences |
|---|---|
| constructs canonical | 36 |
| κατασκεύασε | 8 |
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: constructs
Generated description
Indicates that an agent builds, creates, or assembles something, typically resulting in a new or more complex entity or structure.
Sample triples (44)
| Subject | Object |
|---|---|
| Picard iteration | solution as limit of iterative sequence ⓘ |
| New York City Tunnel Authority | vehicular tunnels in New York City ⓘ |
| Chern–Weil theory | Chern classes ⓘ |
| Chern–Weil theory | Pontryagin classes ⓘ |
| Chern–Weil theory | Euler class ⓘ |
| Chern–Weil theory | Stiefel–Whitney classes (in real case via mod 2 reduction) ⓘ |
| Thompson's algorithm | single start state NFA ⓘ |
| Thompson's algorithm | single accept state NFA ⓘ |
| mountain beaver | burrow systems ⓘ |
| mountain beaver | tunnel networks ⓘ |
| Deligne–Lusztig theory | representations of finite groups of Lie type ⓘ |
| Deligne–Lusztig theory | virtual representations ⓘ |
| Deligne–Lusztig theory | cuspidal representations ⓘ |
| Deligne–Lusztig theory | unipotent representations ⓘ |
| Deligne–Lusztig theory | character sheaves precursors ⓘ |
| Gelfand representation of commutative C*-algebras | spectrum as set of nonzero *-homomorphisms into C ⓘ |
| Gelfand representation of commutative C*-algebras | spectrum as set of nonzero multiplicative linear functionals ⓘ |
| Haag-Ruelle scattering theory | asymptotic in-states ⓘ |
| Haag-Ruelle scattering theory | asymptotic out-states ⓘ |
| Haag-Ruelle scattering theory | multi-particle scattering states ⓘ |
| Dormitory Authority of the State of New York | academic facilities ⓘ |
| Dormitory Authority of the State of New York | research facilities ⓘ |
| Dormitory Authority of the State of New York | healthcare facilities ⓘ |
| Dormitory Authority of the State of New York | public buildings ⓘ |
| Sith Eternal | Xyston-class Star Destroyers ⓘ |
| Sith Eternal | Final Order fleet ⓘ |
| Polistes gallicus | pedunculate nests ⓘ |
| Borel–Weil theorem | irreducible representation from a dominant weight ⓘ |
| Mayer–Vietoris sequence in de Rham cohomology | connecting homomorphism in cohomology ⓘ |
| Ήφαιστος | κεραυνοί του Δία via predicate surface "κατασκεύασε" ⓘ |
| Ήφαιστος | πανοπλία του Αχιλλέα via predicate surface "κατασκεύασε" ⓘ |
| Ήφαιστος | σκήπτρο του Δία via predicate surface "κατασκεύασε" ⓘ |
| Ήφαιστος | χρυσούς θρόνους των θεών via predicate surface "κατασκεύασε" ⓘ |
| Ήφαιστος | χρυσές υπηρέτριες-αυτόματα via predicate surface "κατασκεύασε" ⓘ |
| Ήφαιστος | αλυσίδες για τον Προμηθέα via predicate surface "κατασκεύασε" ⓘ |
| Ήφαιστος | ασπίδα του Ηρακλή (σε ορισμένες παραδόσεις) via predicate surface "κατασκεύασε" ⓘ |
| Ήφαιστος | παγίδα-δίχτυ για την Αφροδίτη και τον Άρη via predicate surface "κατασκεύασε" ⓘ |
| Algorithm J | type constraints ⓘ |
| Washington Toll Bridge Authority | toll bridges in Washington State ⓘ |
| IC3 model checking algorithm | inductive invariants ⓘ |
| Springer correspondence | Weyl group action on cohomology of Springer fibers ⓘ |
| Rosser trick | self-referential sentence ⓘ |
| Rosser trick | Rosser sentence ⓘ |
| Bernstein–Gelfand–Gelfand resolution | complexes of Verma modules ⓘ |