definedVia
P27208
predicate
Indicates that one entity is specified, characterized, or given its meaning by reference to another entity or construct.
All labels observed (12)
| Label | Occurrences |
|---|---|
| definedVia canonical | 20 |
| specifiedAs | 7 |
| isDefinedUsing | 6 |
| definedWithRespectTo | 3 |
| definedToBe | 2 |
| definesBy | 2 |
| definitionMethod | 2 |
| isDefinedVia | 2 |
| defineBy | 1 |
| definedSoThat | 1 |
| isDefinedFrom | 1 |
| isDefinedInTermsOf | 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: definedVia
Generated description
Indicates that one entity is specified, characterized, or given its meaning by reference to another entity or construct.
Sample triples (48)
| Subject | Object |
|---|---|
| Gauss’s constant |
arithmetic–geometric mean identities
ⓘ
surface form:
arithmetic–geometric mean
|
| Planck time | ħ via predicate surface "isDefinedUsing" ⓘ |
| Planck time | G via predicate surface "isDefinedUsing" ⓘ |
| Planck time | c via predicate surface "isDefinedUsing" ⓘ |
| SMTP AUTH | SMTP service extension via predicate surface "specifiedAs" ⓘ |
| moment magnitude scale | seismic moment M0 via predicate surface "isDefinedFrom" ⓘ |
|
TT
surface form:
Terrestrial Time
|
uniform at the geoid via predicate surface "definedToBe" ⓘ |
| Carathéodory metric | supremum over holomorphic maps to the unit disk via predicate surface "isDefinedVia" ⓘ |
| Lie derivative | pullback along a flow via predicate surface "isDefinedUsing" ⓘ |
| Lie derivative | one-parameter group of diffeomorphisms via predicate surface "isDefinedUsing" ⓘ |
| Lie derivative | Lie bracket for vector fields via predicate surface "isDefinedUsing" ⓘ |
|
h-bar
surface form:
ħ
|
exact value of Planck constant h via predicate surface "isDefinedVia" ⓘ |
| kelvin | fixed numerical value of Boltzmann constant via predicate surface "definitionMethod" ⓘ |
|
AES‑CCMP
surface form:
AES-CCMP
|
mandatory cipher suite in RSN (Robust Security Network) for WPA2 via predicate surface "specifiedAs" ⓘ |
| t_P | ħ = h / (2π) via predicate surface "isDefinedInTermsOf" ⓘ |
| Head of Government of the Federal District | Political Constitution of Mexico City via predicate surface "definesBy" ⓘ |
| Head of Government of the Federal District |
Political Constitution of the United Mexican States
via predicate surface "definesBy"
ⓘ
surface form:
Constitution of the United Mexican States
|
| Castelnuovo–Mumford regularity | maximal degree shift in a minimal free resolution minus homological index ⓘ |
| Castelnuovo–Mumford regularity | vanishing of graded pieces of local cohomology modules ⓘ |
| TLS 1.2 PRF | PRF(secret, label, seed) = P_hash(secret, label || seed) via predicate surface "specifiedAs" ⓘ |
| International Celestial Reference System | kinematically non-rotating via predicate surface "definedToBe" ⓘ |
| Client Certificate URL extension | client_certificate_url extension via predicate surface "specifiedAs" ⓘ |
| Riemann–Stieltjes integral | limit of Riemann–Stieltjes sums via predicate surface "definitionMethod" ⓘ |
| Chainer | define-by-run computation graph via predicate surface "defineBy" ⓘ |
| Moyal bracket | commutator with respect to the Moyal star product ⓘ |
| Debye temperature | maximum phonon frequency ⓘ |
| Debye temperature | Planck constant NERFINISHED ⓘ |
| Debye temperature | Boltzmann constant NERFINISHED ⓘ |
| Debye temperature | speed of sound in the crystal ⓘ |
| Bergman metric | Levi form of the logarithm of the Bergman kernel ⓘ |
| Bergman metric | second derivatives of log K(z,z) where K is the Bergman kernel ⓘ |
| Lempert function on convex domains | infimum over holomorphic discs joining two points ⓘ |
| Lempert function on convex domains | extremal holomorphic discs ⓘ |
| Besselian year | Sun’s mean position via predicate surface "definedWithRespectTo" ⓘ |
| Besselian year | mean Sun relative to the stars via predicate surface "definedWithRespectTo" ⓘ |
| Besselian year | ecliptic longitude of the mean Sun via predicate surface "definedWithRespectTo" ⓘ |
| Besselian year | Besselian year begins when mean Sun’s ecliptic longitude is 280 degrees via predicate surface "definedSoThat" NERFINISHED ⓘ |
| Lie sphere group | orthogonal transformations of a space with signature (n+1,2) ⓘ |
|
SPIR intermediate representation
surface form:
SPIR
|
subset of LLVM IR with additional constraints via predicate surface "specifiedAs" ⓘ |
| GHASH | core component of the GCM authentication mechanism via predicate surface "specifiedAs" ⓘ |
| Gram points | Riemann–Siegel theta function NERFINISHED ⓘ |
| Gram points | equation θ(t) = nπ ⓘ |
| Encoding Method for Signature with Appendix – Probabilistic Signature Scheme | encoding method for signature with appendix via predicate surface "specifiedAs" ⓘ |
| Maslov index | crossings with a reference Lagrangian ⓘ |
| Maslov index | intersection number with Maslov cycle ⓘ |
| Maslov index | degree of a map to the circle ⓘ |
| Tracy–Widom distribution | Fredholm determinant of the Airy kernel ⓘ |
| Tracy–Widom distribution | solution of a Painlevé II differential equation ⓘ |