hasBasisIn
P74070
predicate
Indicates that one entity is founded, derived, or justified on the grounds of another entity.
All labels observed (8)
| Label | Occurrences |
|---|---|
| isFundamentalIn | 24 |
| hasBasisIn canonical | 19 |
| hasCriterionBasis | 4 |
| hasInheritanceBasis | 2 |
| hasLexicalBasis | 2 |
| requiresBasisIn | 2 |
| hasMaterialBasis | 1 |
| hasValueBasis | 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: hasBasisIn
Generated description
Indicates that one entity is founded, derived, or justified on the grounds of another entity.
Sample triples (55)
| Subject | Object |
|---|---|
| Laity in the Church | baptism ⓘ |
| Alexander family heirs | family succession laws via predicate surface "hasInheritanceBasis" ⓘ |
| Alexander family heirs | John Alexander will via predicate surface "hasInheritanceBasis" ⓘ |
| t_P | Planck scale definitions via predicate surface "isFundamentalIn" ⓘ |
| Pleitos Colombinos against the Crown of Castile | Capitulations of Santa Fe ⓘ |
| de Bruijn–Erdős theorem | theory of infinite graph colorings via predicate surface "isFundamentalIn" ⓘ |
| de Bruijn–Erdős theorem | structural graph theory via predicate surface "isFundamentalIn" ⓘ |
| Weil representation | theta correspondence via predicate surface "isFundamentalIn" ⓘ |
| Weil representation | theory of theta functions via predicate surface "isFundamentalIn" ⓘ |
| Weil representation | automorphic forms via predicate surface "isFundamentalIn" ⓘ |
| Weil representation | number theory via predicate surface "isFundamentalIn" ⓘ |
| Weil representation |
local Langlands program (via theta correspondence)
via predicate surface "isFundamentalIn"
ⓘ
linked to:
Langlands program
|
| Weil representation | global theta lifting via predicate surface "isFundamentalIn" ⓘ |
| uniformization theorem | classification theory of Riemann surfaces via predicate surface "isFundamentalIn" ⓘ |
| uniformization theorem | Teichmüller theory via predicate surface "isFundamentalIn" ⓘ |
| uniformization theorem | theory of Fuchsian groups via predicate surface "isFundamentalIn" ⓘ |
| Hokan (proposed) | lexical comparison ⓘ |
| Hokan (proposed) | typological similarities ⓘ |
| Hokan (proposed) | suggested historical relationships ⓘ |
| The Great | notable deeds via predicate surface "requiresBasisIn" ⓘ |
| The Great | significant impact on history via predicate surface "requiresBasisIn" ⓘ |
| Mohar (historical currency of Nepal) | weight of silver via predicate surface "hasValueBasis" ⓘ |
| Southern Common Slavic (hypothesized dialect area) | internal diversification of Common Slavic ⓘ |
| Yok-Utian languages | shared linguistic features ⓘ |
| Yok-Utian languages | lexical similarities ⓘ |
| Yok-Utian languages | phonological similarities ⓘ |
| Yok-Utian languages | morphological similarities ⓘ |
| International Emissions Trading | cap-and-trade principle ⓘ |
| Lebesgue differentiation theorem | modern integration theory via predicate surface "isFundamentalIn" ⓘ |
| Lebesgue differentiation theorem | the theory of L^p spaces via predicate surface "isFundamentalIn" ⓘ |
| Carlofortino | Ligurian vocabulary via predicate surface "hasLexicalBasis" ⓘ |
| UNESCO World Heritage Site component | World Heritage cultural criteria (i–vi) via predicate surface "hasCriterionBasis" ⓘ |
| UNESCO World Heritage Site component | World Heritage natural criteria (vii–x) via predicate surface "hasCriterionBasis" ⓘ |
| Inconel X | nickel via predicate surface "hasMaterialBasis" ⓘ |
|
GL(n,ℝ)
linked to:
general linear group GL(n,R)
|
linear algebra via predicate surface "isFundamentalIn" ⓘ |
|
GL(n,ℝ)
linked to:
general linear group GL(n,R)
|
differential geometry via predicate surface "isFundamentalIn" ⓘ |
| UNESCO World Heritage (as part of a serial site) | World Heritage cultural criteria (i–vi) via predicate surface "hasCriterionBasis" ⓘ |
| UNESCO World Heritage (as part of a serial site) | World Heritage natural criteria (vii–x) via predicate surface "hasCriterionBasis" ⓘ |
|
SL(n,ℂ)
linked to:
special linear group SL(n,C)
|
representation theory via predicate surface "isFundamentalIn" ⓘ |
|
SL(n,ℂ)
linked to:
special linear group SL(n,C)
|
algebraic geometry via predicate surface "isFundamentalIn" ⓘ |
|
SL(n,ℂ)
linked to:
special linear group SL(n,C)
|
differential geometry via predicate surface "isFundamentalIn" ⓘ |
|
SL(n,ℂ)
linked to:
special linear group SL(n,C)
|
theoretical physics via predicate surface "isFundamentalIn" ⓘ |
| Coulomb constant | inverse-square law of electrostatics via predicate surface "isFundamentalIn" ⓘ |
|
Ashkharhabar
linked to:
Ashkharhabar (in some contexts)
|
modern Armenian vocabulary via predicate surface "hasLexicalBasis" ⓘ |
| Legendre’s relation for elliptic integrals | classical theory of elliptic functions via predicate surface "isFundamentalIn" ⓘ |
| Legendre’s relation for elliptic integrals | theory of elliptic integrals via predicate surface "isFundamentalIn" ⓘ |
|
Zaza–Gorani
linked to:
Zaza–Gorani (in some classifications)
|
shared innovations between Zaza and Gorani ⓘ |
|
Zaza–Gorani
linked to:
Zaza–Gorani (in some classifications)
|
comparative-historical linguistic analysis ⓘ |
| M2-branes | M-theory via predicate surface "isFundamentalIn" NERFINISHED ⓘ |
| Florentine oligarchy | wealth ⓘ |