usesNotationFor
P95660
predicate
Indicates that one entity employs or adopts a particular notation system or symbolic representation for another entity.
Observed surface forms (10)
- hasNotationExample ×5
- hasNotationRule ×4
- partOfNotation ×2
- usedNotation ×2
- hasNotatedInstruction ×1
- hasSymbolNotation ×1
- isRepresentedWithNotation ×1
- isWrittenInNotation ×1
- isWrittenNotation ×1
- supportsGrammarNotation ×1
Sample triples (23)
| Subject | Object |
|---|---|
| Analyse des infiniment petits pour l’intelligence des lignes courbes | Leibniz notation for derivatives via predicate surface "usedNotation" ⓘ |
| Bayer designations | "α Centauri" via predicate surface "hasNotationExample" NERFINISHED ⓘ |
| Bayer designations | "β Orionis" via predicate surface "hasNotationExample" NERFINISHED ⓘ |
| Bayer designations | "γ Crucis" via predicate surface "hasNotationExample" NERFINISHED ⓘ |
| Bekker numbering | "EN 1094b10" via predicate surface "hasNotationExample" ⓘ |
| Bekker numbering | "Metaph. 1003a21" via predicate surface "hasNotationExample" ⓘ |
| Cantós de España | Western staff notation via predicate surface "isWrittenNotation" ⓘ |
| Ceti | stellar naming conventions via predicate surface "partOfNotation" ⓘ |
| Concept Script | functions and arguments ⓘ |
| Concept Script | identity ⓘ |
| Concept Script | logical connectives ⓘ |
| Concept Script | quantifiers ⓘ |
| Essai sur la théorie des nombres | Legendre symbol via predicate surface "usedNotation" NERFINISHED ⓘ |
| Igo | Go game record via predicate surface "isRepresentedWithNotation" ⓘ |
|
javacc
surface form:
JavaCC
|
EBNF-like syntax via predicate surface "supportsGrammarNotation" ⓘ |
| Milnor K-theory | {a_1,…,a_n} for elements of K_n^M(F) via predicate surface "hasSymbolNotation" ⓘ |
| Notation III for solo piano | traditional staff notation with advanced symbols via predicate surface "isWrittenInNotation" ⓘ |
|
SR (for State Route)
surface form:
SR
|
California State Route numbering system via predicate surface "partOfNotation" ⓘ |
| UIC classification | capital letters indicate powered axle groups via predicate surface "hasNotationRule" ⓘ |
| UIC classification | digits indicate unpowered axle groups via predicate surface "hasNotationRule" ⓘ |
| UIC classification | prime marks indicate axles mounted in bogies or pivoting frames via predicate surface "hasNotationRule" ⓘ |
| UIC classification | repeated letters or numbers indicate multiple groups of the same type via predicate surface "hasNotationRule" ⓘ |
| Vexations | to be repeated 840 times via predicate surface "hasNotatedInstruction" ⓘ |