typicalNotation
P4882
predicate
Indicates that one entity is the standard or commonly used symbolic representation (notation) for another entity.
All labels observed (34)
| Label | Occurrences |
|---|---|
| hasNotation | 109 |
| notationExample | 48 |
| typicalNotation canonical | 28 |
| typicalRepresentation | 11 |
| toneRepresentation | 6 |
| exampleNotation | 5 |
| hasStandardNotation | 4 |
| musicNotation | 3 |
| symbolicNotation | 3 |
| commonNotationClefs | 2 |
| coordinateNotation | 2 |
| entryNotation | 2 |
| hasNotationPractice | 2 |
| hasTypicalNotation | 2 |
| scriptOfTraditionalNotation | 2 |
| usedInPriceNotation | 2 |
| commonlyNotatedWith | 1 |
| hasParticularNotation | 1 |
| hasPositionNotation | 1 |
| isNotatedAs | 1 |
| isStandardNotation | 1 |
| isStandardNotationFor | 1 |
| matrixElementNotation | 1 |
| musicNotationSystem | 1 |
| musicalNotation | 1 |
| notationalForm | 1 |
| sequenceIndexNotation | 1 |
| standardNotation | 1 |
| standardNotationFor | 1 |
| startingDotsNotation | 1 |
| toneNotation | 1 |
| totalClassNotation | 1 |
| typicalNotationForNonterminals | 1 |
| typicalNotationForTerminals | 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: typicalNotation
Generated description
Indicates that one entity is the standard or commonly used symbolic representation (notation) for another entity.
Sample triples (249)
| Subject | Object |
|---|---|
| Backus–Naur Form | literal character sequences via predicate surface "typicalNotationForTerminals" ⓘ |
| ISWIM | lambda notation for functions via predicate surface "hasNotation" ⓘ |
| ISWIM | infix operators defined via functions via predicate surface "hasNotation" ⓘ |
| Bayes’ theorem | P(H|E) ∝ P(E|H) P(H) via predicate surface "hasNotation" ⓘ |
| Halting problem | K via predicate surface "hasNotation" ⓘ |
| Halting problem | HALT via predicate surface "hasNotation" ⓘ |
| Hijri calendar | AH (Anno Hegirae) via predicate surface "hasNotation" ⓘ |
| François Viète | use of consonants for known quantities via predicate surface "hasNotation" ⓘ |
| François Viète | use of vowels for unknown quantities via predicate surface "hasNotation" ⓘ |
| Guthrie classification of Niger-Congo | alphanumeric language codes via predicate surface "hasNotation" ⓘ |
| Lagrange's theorem in group theory | |G| for order of group G ⓘ |
| Lagrange's theorem in group theory | |H| for order of subgroup H ⓘ |
| Lagrange's theorem in group theory | [G : H] for index of H in G ⓘ |
| Hahn series | K((G)) for coefficients in K and exponents in G ⓘ |
| Antiphonale Romanum | Gregorian chant notation via predicate surface "hasNotation" ⓘ |
| Antiphonale Romanum | neumatic notation via predicate surface "hasNotation" ⓘ |
| Borgeet | traditional oral notation system via predicate surface "hasNotation" ⓘ |
| Co2 | Co2 via predicate surface "hasStandardNotation" ⓘ |
| MMIX |
MMIX
via predicate surface "hasNotation"
self-linksurface differs
ⓘ
surface form:
MMIX assembly language
|
| Fisher’s Hornpipe | widely published in fiddle tune collections via predicate surface "hasNotation" ⓘ |
| Hasse bound for elliptic curves | a_q(E) = q + 1 - #E(F_q) ⓘ |
| LCDGT | authority identifiers at id.loc.gov via predicate surface "hasNotation" ⓘ |
|
CCS (Calculus of Communicating Systems)
surface form:
CCS
|
process algebraic notation via predicate surface "hasNotation" ⓘ |
| de Bruijn sequence | B(k,n) ⓘ |
| Noise_IK pattern | IK via predicate surface "hasNotation" ⓘ |
| ISO/IEC 8824 | textual notation via predicate surface "notationalForm" ⓘ |
| Noise_XX pattern | XX via predicate surface "hasNotation" ⓘ |
| Weil divisor | Div(X) for group of Weil divisors on a variety X via predicate surface "hasNotation" ⓘ |
| Russell–Saunders coupling | term symbol 2S+1L_J via predicate surface "hasNotation" ⓘ |
| Grothendieck spectral sequence | E_2^{p,q} = R^p G (R^q F (A)) ⇒ R^{p+q} (G∘F) (A) ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
often denoted by T2 in the separation axiom hierarchy via predicate surface "symbolicNotation" ⓘ |
| Caputo derivative | D^α_C f(t) ⓘ |
| Caputo derivative | ^C D_t^α f(t) ⓘ |
| Hurwitz bound on automorphism groups of curves | |Aut(X)| ≤ 84(g(X) − 1) ⓘ |
| Dehn invariant | D(P) via predicate surface "hasNotation" ⓘ |
| Warnock algorithm | quadtree-like subdivision of the image plane via predicate surface "typicalRepresentation" ⓘ |
| E major (BWV 1006) | four-sharp key signature via predicate surface "commonlyNotatedWith" ⓘ |
| Contrapunctus V | open score in four staves in original print via predicate surface "hasNotation" ⓘ |
| Pitman shorthand | standard outlines for common words via predicate surface "hasNotation" ⓘ |
| Pitman shorthand | special abbreviating principles via predicate surface "hasNotation" ⓘ |
| Fatou's lemma | ∫ lim inf_{n→∞} f_n dμ ≤ lim inf_{n→∞} ∫ f_n dμ ⓘ |
| The TeXbook | dangerous bend symbol for difficult material via predicate surface "hasNotation" ⓘ |
| Ricercar a 3 | staff notation via predicate surface "hasNotation" ⓘ |
| BuxWV | BuxWV number via predicate surface "hasNotation" ⓘ |
| Fugue in C minor, BWV 847 | staff notation via predicate surface "hasNotation" ⓘ |
| Fugue in D minor, BWV 851 | staff notation via predicate surface "hasNotation" ⓘ |
| ISO 3166-2:ES | ES-M via predicate surface "notationExample" ⓘ |
| ISO 3166-2:ES | ES-AN via predicate surface "notationExample" ⓘ |
| Lucas sequences | U_n(P,Q) via predicate surface "hasNotation" ⓘ |
| Lucas sequences | V_n(P,Q) via predicate surface "hasNotation" ⓘ |