hasMathematicalProperty
P86747
predicate
Indicates that one entity possesses or exhibits a specific mathematical property or characteristic.
All labels observed (11)
| Label | Occurrences |
|---|---|
| mathematicalProperty | 10 |
| hasMathematicalNature | 6 |
| hasMathematicalProperty canonical | 4 |
| mathematicalFeature | 4 |
| assumesPropertyOfSine | 2 |
| hasMathematicalClassification | 2 |
| theoreticalProperty | 2 |
| hasGrundyValueProperty | 1 |
| majorizationProperty | 1 |
| mayHavePropertyOfGeneratingFunction | 1 |
| multiplicativityProperty | 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: hasMathematicalProperty
Generated description
Indicates that one entity possesses or exhibits a specific mathematical property or characteristic.
Sample triples (34)
| Subject | Object |
|---|---|
| universal intelligence measure | upper-bounds achievable performance of any computable agent in the AIXI framework ⓘ |
| Einthoven triangle | lead II equals lead I plus lead III via predicate surface "mathematicalProperty" ⓘ |
| Dirichlet L-functions | Dirichlet characters are completely multiplicative via predicate surface "multiplicativityProperty" ⓘ |
| Clebsch representation | local representation of vector fields via predicate surface "hasMathematicalNature" ⓘ |
| Lambert conformal conic projection | meridians are straight lines via predicate surface "mathematicalProperty" ⓘ |
| Lambert conformal conic projection | parallels are arcs of concentric circles via predicate surface "mathematicalProperty" ⓘ |
| Lambert conformal conic projection | scale is true along standard parallels via predicate surface "mathematicalProperty" ⓘ |
| Tusi couple | composition of two equal-speed circular motions with opposite directions via predicate surface "mathematicalProperty" ⓘ |
| Landau–Peierls instability | infrared divergence of displacement fluctuations in low dimensions via predicate surface "mathematicalFeature" ⓘ |
| stress–energy tensor | covariantly conserved via predicate surface "mathematicalProperty" ⓘ |
| Regular Polytopes | finite regular polytopes via predicate surface "hasMathematicalClassification" ⓘ |
| Regular Polytopes | infinite regular tessellations via predicate surface "hasMathematicalClassification" ⓘ |
| Banach limit | liminf x_n ≤ L(x) ≤ limsup x_n via predicate surface "majorizationProperty" ⓘ |
| BigBird | Turing completeness under certain conditions via predicate surface "theoreticalProperty" ⓘ |
| BigBird | universal approximator of sequence functions via predicate surface "theoreticalProperty" ⓘ |
| Dirac quantization condition | topological quantization condition via predicate surface "hasMathematicalNature" ⓘ |
| Nim | every position has a unique Grundy number ⓘ |
| Nim | disjunctive sum of impartial games reduces to a Nim heap via Grundy numbers ⓘ |
| Wythoff Nim | P-positions have Grundy value 0 via predicate surface "hasGrundyValueProperty" ⓘ |
| Roulette | negative expected value for the player ⓘ |
| Lyapunov dimension | real-valued function on invariant sets via predicate surface "hasMathematicalNature" ⓘ |
| Euler’s identity for sine product | simple zeros at integers via predicate surface "assumesPropertyOfSine" ⓘ |
| Euler’s identity for sine product | oddness of sine via predicate surface "assumesPropertyOfSine" ⓘ |
| Circle Limit III | hyperbolic tessellation via predicate surface "mathematicalProperty" ⓘ |
| Circle Limit III | conformal tiling via predicate surface "mathematicalProperty" ⓘ |
| Circle Limit III | circle limit construction via predicate surface "mathematicalProperty" ⓘ |
| Seiberg–Witten differential | one-form via predicate surface "hasMathematicalNature" ⓘ |
| Moore–Penrose inverse (precursor ideas) | operator-theoretic via predicate surface "hasMathematicalNature" ⓘ |
| Moore–Penrose inverse (precursor ideas) | algebraic via predicate surface "hasMathematicalNature" ⓘ |
| Stieltjes measure | bounded variation via predicate surface "mayHavePropertyOfGeneratingFunction" ⓘ |
| Maya astronomy | use of vigesimal (base-20) system via predicate surface "mathematicalFeature" ⓘ |
| Maya astronomy | use of zero as placeholder via predicate surface "mathematicalFeature" ⓘ |
| Maya astronomy | use of positional notation via predicate surface "mathematicalFeature" ⓘ |
| Helmholtz free energy | is a function of state variables T, V, N via predicate surface "mathematicalProperty" ⓘ |