usesNotationFor

P95660
predicate

Indicates that one entity employs or adopts a particular notation system or symbolic representation for another entity.

Try in SPARQL

All labels observed (12)

Label Occurrences
hasNotationExample 5
hasNotationRule 4
usesNotationFor canonical 4

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: usesNotationFor
Generated description
Indicates that one entity employs or adopts a particular notation system or symbolic representation for another entity.

Sample triples (26)

Subject Object
Concept Script quantifiers ⓘ
Concept Script logical connectives ⓘ
Concept Script identity ⓘ
Concept Script functions and arguments ⓘ
Milnor K-theory {a_1,…,a_n} for elements of K_n^M(F) via predicate surface "hasSymbolNotation" ⓘ
SR
linked to: SR (for State Route)
California State Route numbering system via predicate surface "partOfNotation" ⓘ
JavaCC
linked to: javacc
EBNF-like syntax via predicate surface "supportsGrammarNotation" ⓘ
Cantós de España Western staff notation via predicate surface "isWrittenNotation" ⓘ
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 repeated letters or numbers indicate multiple groups of the same type via predicate surface "hasNotationRule" ⓘ
UIC classification prime marks indicate axles mounted in bogies or pivoting frames via predicate surface "hasNotationRule" ⓘ
Bayer designations "α Centauri" via predicate surface "hasNotationExample" ⓘ
linked to: Alpha Centauri
Bayer designations "β Orionis" via predicate surface "hasNotationExample" ⓘ
linked to: Beta Orionis
Bayer designations "γ Crucis" via predicate surface "hasNotationExample" ⓘ
linked to: Gamma Crucis
Ceti stellar naming conventions via predicate surface "partOfNotation" ⓘ
Notation III for solo piano traditional staff notation with advanced symbols via predicate surface "isWrittenInNotation" ⓘ
Essai sur la théorie des nombres Legendre symbol via predicate surface "usedNotation" ⓘ
Igo Go game record via predicate surface "isRepresentedWithNotation" ⓘ
Bekker numbering "Metaph. 1003a21" via predicate surface "hasNotationExample" ⓘ
Bekker numbering "EN 1094b10" via predicate surface "hasNotationExample" ⓘ
Vexations to be repeated 840 times via predicate surface "hasNotatedInstruction" ⓘ
Sarati
linked to: Sarati (historical in-universe)
consonants via predicate surface "hasNotationFor" ⓘ
Sarati
linked to: Sarati (historical in-universe)
vowels via predicate surface "hasNotationFor" ⓘ
Sarati
linked to: Sarati (historical in-universe)
punctuation via predicate surface "hasNotationFor" ⓘ
Analyse des infiniment petits pour l’intelligence des lignes courbes Leibniz notation for derivatives via predicate surface "usedNotation" ⓘ