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 |
|---|---|
| Australian Eastern Standard Time | UTC+10 ⓘ |
| BE | uppercase letters ⓘ |
| Deep Learning (book) | mathematical notation via predicate surface "usesNotation" ⓘ |
| JBU | three-letter airline designator ⓘ |
| Ricci curvature tensor | R_{ij} via predicate surface "componentsNotation" ⓘ |
| Coordinated Universal Time | Zulu time via predicate surface "ZNotationMeaning" ⓘ |
| Standard Chinese | Simplified Chinese in mainland China via predicate surface "writingConventions" ⓘ |
| Standard Chinese | Traditional Chinese in Taiwan via predicate surface "writingConventions" ⓘ |
| Standard Chinese | Simplified Chinese in Singapore via predicate surface "writingConventions" ⓘ |
| JBLU | JBLU self-link ⓘ |
| Colon Classification | mixed notation via predicate surface "usesNotation" ⓘ |
| Colon Classification | colon symbol via predicate surface "usesNotation" ⓘ |
| Colon Classification | Arabic numerals via predicate surface "usesNotation" ⓘ |
| Colon Classification | Roman letters via predicate surface "usesNotation" ⓘ |
| ISO 8601 | numeric date representation via predicate surface "usesNotation" ⓘ |
| ISO 8601 | 24-hour clock via predicate surface "usesNotation" ⓘ |
| Chair O | letter O ⓘ |
| AAR | uses letters to denote powered axles via predicate surface "notationFeature" ⓘ |
| AAR | uses numbers to denote unpowered axles via predicate surface "notationFeature" ⓘ |
| AAR | uses hyphens to separate trucks or groups of axles via predicate surface "notationFeature" ⓘ |
| GU (IATA airline designator) | GU ⓘ |
| TPE | TPE ⓘ |
| TW | Latin alphabet ⓘ |
| Gaussian integral | ∫_{−∞}^{∞} e^{−x^2} dx = √π ⓘ |
| Tajwid | diacritical marks via predicate surface "usesNotation" ⓘ |
| Tajwid | madd signs via predicate surface "usesNotation" ⓘ |
| Tajwid | waqf symbols via predicate surface "usesNotation" ⓘ |
| Game of Life | B3/S23 via predicate surface "ruleNotation" ⓘ |
| Concrete Mathematics |
Knuth’s up-arrow notation
via predicate surface "usesNotation"
ⓘ
surface form:
Knuth up-arrow notation
|
| ARG | ARG ⓘ |
| IE | uppercase letters ⓘ |
| SRQ | SRQ ⓘ |
| SAU | SAU ⓘ |
| Riemann integral | ∫_a^b f(x) dx ⓘ |
| CMG | written in capital letters without punctuation ⓘ |
| Christoffel symbols | Γ^k_{ij} via predicate surface "indexNotation" ⓘ |
|
TeX typesetting system
surface form:
TeX
|
macro-based markup language ⓘ |
| Daniel Jones's English Pronouncing Dictionary | International Phonetic Alphabet via predicate surface "usesNotation" ⓘ |
| AC | AC ⓘ |
| LCA | LCA ⓘ |
| Working Drafts | labeled with WD in W3C document identifiers ⓘ |
| X-bar theory | X0 for head via predicate surface "usesNotation" ⓘ |
| X-bar theory | X′ for intermediate projection via predicate surface "usesNotation" ⓘ |
| X-bar theory | XP for maximal projection via predicate surface "usesNotation" ⓘ |
| QTR | three-letter airline designator ⓘ |
| BY | Latin alphabet ⓘ |
| ACDT | UTC+10:30 ⓘ |
| ES | index points via predicate surface "quoteConvention" ⓘ |
| PM | PM ⓘ |
| TJ | Latin script ⓘ |