notation
P6184
predicate
Indicates a conventional way of symbolically representing or writing something, such as concepts, quantities, or operations, within a specific system.
All labels observed (21)
| Label | Occurrences |
|---|---|
| notation canonical | 272 |
| usesNotation | 50 |
| definesNotation | 9 |
| notationFeature | 7 |
| notationalFeature | 5 |
| writingConventions | 5 |
| variableNotation | 4 |
| notationUsedIn | 3 |
| indexNotation | 2 |
| notationInRecords | 2 |
| LieAlgebraNotation | 1 |
| ZNotationMeaning | 1 |
| coefficientNotation | 1 |
| componentsNotation | 1 |
| conventionalNotationIn | 1 |
| notationInRegex | 1 |
| notationInText | 1 |
| notationTradition | 1 |
| notationalMarker | 1 |
| quoteConvention | 1 |
| ruleNotation | 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: notation
Generated description
Indicates a conventional way of symbolically representing or writing something, such as concepts, quantities, or operations, within a specific system.
Sample triples (370)
| Subject | Object |
|---|---|
| Lebesgue spaces | L^p ⓘ |
| US | two-letter code ⓘ |
| GP | Latin alphabet ⓘ |
| MS | two-letter code ⓘ |
| Air Force Outstanding Unit Award with Valor device | "V" device on the ribbon bar ⓘ |
| LTU | LTU ⓘ |
| NDLS | all-caps station code ⓘ |
| Biblia Hebraica Quinta | critical sigla via predicate surface "usesNotation" ⓘ |
| Weierstrass substitution | t = tan(x/2) is often denoted by t = tan(θ/2) or u = tan(x/2) ⓘ |
| Portland Fancy | commonly written in standard staff notation ⓘ |
| RC6 | RC6-w/r/b ⓘ |
| UP-32 | UP-32 ⓘ |
| EI | "EI" ⓘ |
| CA | "CA" ⓘ |
| RELAX | XML-based syntax ⓘ |
| Revised^n Report on the Algorithmic Language Scheme | mathematical semantics via predicate surface "usesNotation" ⓘ |
| Trio Sonatas Op. 1 | staff notation ⓘ |
| FRO | FRO ⓘ |
| Lie bracket | [x,y] ⓘ |
| Lie bracket | [·,·] ⓘ |
| Lie derivative | L_X ⓘ |
| Lie derivative | mathcal{L}_X ⓘ |
| GSD | GSD ⓘ |
| RJ | RJ ⓘ |
| BU | two-letter code ⓘ |
| GUF | Latin alphabet ⓘ |
| Lagrange interpolation polynomial | often denoted by P_n(x) or L_n(x) ⓘ |
| Jacobi method | often denoted by x^{(k)} for the k-th iterate ⓘ |
| gauss | often written without italics in technical texts ⓘ |
| OEIS A064988 |
Gauss’s constant
via predicate surface "usesNotation"
ⓘ
surface form:
G for Gauss's constant
|
| AM | AM ⓘ |
| Mesoamerican Long Count calendar | vigesimal positional ⓘ |
| BAW | three-letter airline designator ⓘ |
| VE | "VE" ⓘ |
| coulomb | uppercase C ⓘ |
| becquerel | Bq via predicate surface "notationInText" ⓘ |
| VEN | uppercase letters ⓘ |
| Conway skein triple (L₊, L₋, L₀) | standard textbooks on knot theory via predicate surface "notationUsedIn" ⓘ |
| Legendre symbol | (a/p) ⓘ |
| HOMFLY-PT polynomial | l via predicate surface "variableNotation" ⓘ |
| HOMFLY-PT polynomial | m via predicate surface "variableNotation" ⓘ |
| HOMFLY-PT polynomial | a via predicate surface "variableNotation" ⓘ |
| HOMFLY-PT polynomial | q via predicate surface "variableNotation" ⓘ |
| AS-03 | AS-03 ⓘ |
| Alexandrov compactification | X^* for the compactified space of X ⓘ |
| Alexandrov compactification | X ∪ {∞} for the compactified space of X ⓘ |
| Pha̍k-fa-sṳ | tone marks on vowels via predicate surface "notationFeature" ⓘ |
| Pha̍k-fa-sṳ | special letters for Hakka consonants via predicate surface "notationFeature" ⓘ |
| Jacobi symbol | (a/n) ⓘ |
| IDT | UTC+3 ⓘ |