hasGeneralFormula
P81134
predicate
Indicates that an entity (such as a class of compounds or expressions) is characterized by a general or canonical formula that represents all its specific instances.
All labels observed (7)
| Label | Occurrences |
|---|---|
| generalTermFormula | 3 |
| hasDeterminantFormula | 2 |
| hasGeneralEquation | 2 |
| hasGeneralFormula canonical | 2 |
| generalSolutionForm | 1 |
| hasFrequencyFormula | 1 |
| hasGenerationFormula | 1 |
Sample triples (12)
| Subject | Object |
|---|---|
| Nylon | (–NH–(CH2)x–NH–CO–(CH2)y–CO–)n ⓘ |
| Cauchy matrix | det(C) = (∏_{i<k}(x_i - x_k) ∏_{j<ℓ}(y_ℓ - y_j)) / (∏_{i,j}(x_i - y_j)) via predicate surface "hasDeterminantFormula" ⓘ |
| Pythagorean triples | a = m^2 - n^2, b = 2mn, c = m^2 + n^2 for integers m > n > 0 via predicate surface "hasGenerationFormula" ⓘ |
| Arrhenius base | BOH → B⁺ + OH⁻ in water ⓘ |
|
Bernoulli differential equations
surface form:
Bernoulli differential equation
|
depends on integral of transformed linear equation via predicate surface "generalSolutionForm" ⓘ |
| Catalan numbers | C_n = (1/(n+1)) * binomial(2n, n) via predicate surface "generalTermFormula" ⓘ |
| Catalan numbers | C_n = binomial(2n, n) - binomial(2n, n+1) via predicate surface "generalTermFormula" ⓘ |
| Catalan numbers | C_n = (2n)! / ((n+1)! n!) via predicate surface "generalTermFormula" ⓘ |
| Vandermonde matrix | det(V) = ∏_{1 ≤ i < j ≤ n} (x_j − x_i) via predicate surface "hasDeterminantFormula" ⓘ |
| Wien bridge oscillator | f = 1 / (2πRC) via predicate surface "hasFrequencyFormula" ⓘ |
| Weierstrass form | y^2 + a_1 x y + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6 via predicate surface "hasGeneralEquation" ⓘ |
| Twisted Edwards curve | ax^2 + y^2 = 1 + dx^2y^2 via predicate surface "hasGeneralEquation" ⓘ |